Pages that link to "Item:Q5055782"
From MaRDI portal
The following pages link to Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782):
Displaying 7 items.
- Bi-rewrite systems (Q674746) (← links)
- Deciding confluence of certain term rewriting systems in polynomial time (Q1886319) (← links)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- Linear second-order unification (Q5055871) (← links)
- Ordered chaining for total orderings (Q5210789) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)
- Reasoning with preorders and dynamic sorts using free variable tableaux (Q6560387) (← links)