Pages that link to "Item:Q1825184"

The following pages link to On equational theories, unification, and (un)decidability (Q1825184):

Displaying 23 items.

• The undecidability of the unification and matching problem for canonical theories (Q1077931) (← links)
• On unification: Equational theories are not bounded (Q1094131) (← links)
• A note on a canonical theory with undecidable unification and matching problem (Q1098623) (← links)
• AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
• A new method for undecidability proofs of first order theories (Q1209623) (← links)
• Finite acyclic theories are unitary (Q1260765) (← links)
• Deciding the word problem in the union of equational theories. (Q1400706) (← links)
• \(\forall \exists^{5}\)-equational theory of context unification is undecidable (Q1607219) (← links)
• Non-covering in the interpretability lattice of equational theories (Q1802249) (← links)
• Unification in permutative equational theories is undecidable (Q1825190) (← links)
• The undecidability of proof search when equality is a logical connective (Q2134939) (← links)
• A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
• Essential unifiers (Q2494722) (← links)
• (Q3340122) (← links)
• The undecidability of the D_A-unification problem (Q3478395) (← links)
• The connection between the fundamental groupoid and a unification algorithm for syntactic algebras (Extended abstract) (Q3994022) (← links)
• SAT Encoding of Unification in $\mathcal{EL}$ (Q4933298) (← links)
• Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* (Q4988927) (← links)
• Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
• Unification theory (Q6169561) (← links)
• Algebraic and logical aspects of unification (Q6169562) (← links)
• Some results on equational unification (Q6488537) (← links)
• Unification in monoidal theories (Q6488564) (← links)