Rewriting

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

Contents

• Binary Patch Families
• Cascade Continuation
• Church-Rosser Equivalence
• Classification
• Hindley-Rosen Confluence
• MiuSystem
• 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