The following pages link to (Q4035223):
Displaying 13 items.
- Termination orderings for associative-commutative rewriting systems (Q1072371) (← links)
- Termination of rewriting (Q1098624) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015) (← links)
- Termination of rewriting with right-flat rules modulo permutative theories (Q2786124) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- (Q4447252) (← links)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- A semantic approach to order-sorted rewriting (Q5055784) (← links)
- Partial Order Infinitary Term Rewriting (Q5419490) (← links)
- Could orders be captured by term rewriting systems? (Q5881195) (← links)
- Rewriting Techniques and Applications (Q5901561) (← links)
- Currying of order-sorted term rewriting systems (Q6085707) (← links)
