Pages that link to "Item:Q6488536"
From MaRDI portal
The following pages link to An improved general E-unification method (Q6488536):
Displaying 10 items.
- Efficient general AGH-unification (Q462489) (← links)
- An improved general \(E\)-unification method (Q1201347) (← links)
- General \(E\)-unification with eager variable elimination and a nice cycle rule (Q2642468) (← links)
- (Q2778881) (← links)
- (Q4448380) (← links)
- Goal directed strategies for paramodulation (Q5055756) (← links)
- Improving transformation systems for general E-unification (Q5055788) (← links)
- Combination techniques for non-disjoint equational theories (Q5210778) (← links)
- A completion-based method for mixed universal and rigid E-unification (Q5210805) (← links)
- A new approach to general E-unification based on conditional rewriting systems (Q5881211) (← links)