Similar Items: Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
- Complexity of Conditional Term Rewriting
- Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
- Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
- Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently
- Faithful (meta-)encodings of programmable strategies into term rewriting systems
- Modes of Convergence for Term Graph Rewriting