Similar Items: Towards 3-Dimensional Rewriting Theory
- Globular: an online proof assistant for higher-dimensional rewriting
- The First-Order Theory of Ground Tree Rewrite Graphs
- Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
- On linear rewriting systems for Boolean logic and some applications to proof theory
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
- Thermodynamic graph-rewriting