Pages that link to "Item:Q1100891"
From MaRDI portal
The following pages link to Simplifying conditional term rewriting systems: Unification, termination and confluence (Q1100891):
Displaying 4 items.
- Sufficient completeness verification for conditional and constrained TRS (Q420848) (← links)
- Operational termination of conditional term rewriting systems (Q1041807) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- Conditional rewriting in focus (Q5881263) (← links)
