Rewriting

Navigation page for Blueprint/D5/S0/Rewriting/ at upstream snapshot b27a6b9d0e4bc3cb6a8527d5d5d13173a32e821b.

Contents

• Binary Patch Families
• Bounded Successor Observation Count
• Cascade Continuation
• Church-Rosser Equivalence
• Classification
• Expressions
• Guarded Box Path Attainment
• Guarded Box Paths
• Hindley-Rosen Confluence
• MiuSystem
• Native substitution closure
• Native fragment preservation by the original algorithm
• Exact native terms and finite presentations
• Newman Normal Forms
• Newman Confluence
• Normal Form Confluence
• Normal Form Function
• Certified Normalization Systems
• Quotient Future Relation
• Quotient Invariant Coordinate
• Quotients
• Safety
• Single-Point Patch
• Termination Transfer for Quasi-Commutation
• Domains of Guarded Translation Words
• Unrestricted finite unification completeness
• UnificationFuel
• UniformNativeUnification
• UniformNativeUnificationDomain