Pages that link to "Item:Q5055788"
From MaRDI portal
The following pages link to Improving transformation systems for general E-unification (Q5055788):
Displaying 8 items.
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- An improved general \(E\)-unification method (Q1201347) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- General \(E\)-unification with eager variable elimination and a nice cycle rule (Q2642468) (← links)
- (Q4010356) (← links)
- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) (Q5096745) (← links)
- A new approach to general E-unification based on conditional rewriting systems (Q5881211) (← links)
- An improved general E-unification method (Q6488536) (← links)