Pages that link to "Item:Q1101209"
From MaRDI portal
The following pages link to A class of confluent term rewriting systems and unification (Q1101209):
Displayed 4 items.
- A class of confluent term rewriting systems and unification (Q1101209) (← links)
- Enumerating outer narrowing derivations for constructor-based term rewriting systems (Q1124376) (← links)
- Basic narrowing revisited (Q1824412) (← links)
- Unification modulo an equality theory for equational logic programming (Q2639627) (← links)