Pages that link to "Item:Q5210804"
From MaRDI portal
The following pages link to A refined version of general E-unification (Q5210804):
Displaying 6 items.
- General \(E\)-unification with eager variable elimination and a nice cycle rule (Q2642468) (← links)
- (Q3838764) (← links)
- (Q4217942) (← links)
- (Q4448380) (← links)
- Improving transformation systems for general E-unification (Q5055788) (← links)
- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) (Q5096745) (← links)