Similar Items: Thermodynamic graph-rewriting
- Modes of Convergence for Term Graph Rewriting
- The First-Order Theory of Ground Tree Rewrite Graphs
- The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter
- Complexity of Conditional Term Rewriting
- Reachability Analysis of Innermost Rewriting
- Rewriting techniques for relative coherence