Pages that link to "Item:Q2104512"
From MaRDI portal
The following pages link to Term orderings for non-reachability of (conditional) rewriting (Q2104512):
Displaying 6 items.
- Termination orderings for associative-commutative rewriting systems (Q1072371) (← links)
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015) (← links)
- (Q4035223) (← links)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- Could orders be captured by term rewriting systems? (Q5881195) (← links)