Similar Items: On properties of $B$-terms
- Separation Property for wB- and wS-regular Languages
- Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
- Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently
- Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity
- Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
- Complexity of Conditional Term Rewriting