Pages that link to "Item:Q1262754"
From MaRDI portal
The following pages link to Complete sets of transformations for general E-unification (Q1262754):
Displaying 28 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)
- Unification and Matching in Hierarchical Combinations of Syntactic Theories (Q2964469) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- Goal directed strategies for paramodulation (Q5055756) (← links)
- Modular higher-order E-unification (Q5055760) (← links)
- Improving transformation systems for general E-unification (Q5055788) (← links)
- Equation solving in conditional AC-theories (Q5096202) (← links)
- Modular AC unification of higher-order patterns (Q5096303) (← links)
- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) (Q5096745) (← links)
- Combination techniques for non-disjoint equational theories (Q5210778) (← links)
- Theory and practice of minimal modular higher-order E-unification (Q5210803) (← 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 inference system for horn clause logic with equality (Q5881306) (← links)
