Similar Items: Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
- Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
- Rewriting Modulo Traced Comonoid Structure
- The First-Order Theory of Ground Tree Rewrite Graphs
- Canonicity and homotopy canonicity for cubical type theory
- Left-Linear Completion with AC Axioms
- Consistency and Completeness of Rewriting in the Calculus of Constructions