The following pages link to (Q3783622):
Displaying 5 items.
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- Complete sets of transformations for general E-unification (Q1262754) (← links)
- Basic narrowing revisited (Q1824412) (← links)
- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) (Q5096745) (← links)
