Pages that link to "Item:Q1262754"
From MaRDI portal
The following pages link to Complete sets of transformations for general E-unification (Q1262754):
Displayed 15 items.
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- A combinatory logic approach to higher-order E-unification (Q673971) (← links)
- Average-case analysis of unification algorithms (Q685442) (← links)
- Pattern-directed invocation with changing equations (Q809619) (← links)
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- Conditional equational theories and complete sets of transformations (Q918541) (← links)
- Connection tableaux with lazy paramodulation (Q928656) (← links)
- Polymorphic rewriting conserves algebraic strong normalization (Q1176244) (← links)
- An improved general \(E\)-unification method (Q1201347) (← links)
- Unification of kinded infinite trees (Q1352126) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification (Q1919702) (← links)
- Higher-order unification via combinators (Q2367541) (← links)
- E-generalization using grammars (Q2457667) (← links)
- General \(E\)-unification with eager variable elimination and a nice cycle rule (Q2642468) (← links)