Similar Items: Modes of Convergence for Term Graph Rewriting
- Modularity of Convergence and Strong Convergence in Infinitary Rewriting
- Thermodynamic graph-rewriting
- Complexity of Conditional Term Rewriting
- Modular Complexity Analysis for Term Rewriting
- Partial Order Infinitary Term Rewriting
- Small Term Reachability and Related Problems for Terminating Term Rewriting Systems