Pages that link to "Item:Q1201347"
From MaRDI portal
The following pages link to An improved general \(E\)-unification method (Q1201347):
Displaying 9 items.
- Efficient general AGH-unification (Q462489) (← links)
- E-generalization using grammars (Q2457667) (← links)
- General \(E\)-unification with eager variable elimination and a nice cycle rule (Q2642468) (← links)
- (Q2778881) (← links)
- (Q4448380) (← links)
- Improving transformation systems for general E-unification (Q5055788) (← links)
- A refined version of general E-unification (Q5210804) (← links)
- A new approach to general E-unification based on conditional rewriting systems (Q5881211) (← links)
- An improved general E-unification method (Q6488536) (← links)