Pages that link to "Item:Q1094131"

The following pages link to On unification: Equational theories are not bounded (Q1094131):

Displaying 8 items.

• Unification for infinite sets of equations between finite terms (Q287056) (← links)
• The undecidability of the unification and matching problem for canonical theories (Q1077931) (← links)
• A note on a canonical theory with undecidable unification and matching problem (Q1098623) (← links)
• The unification hierarchy is undecidable (Q1181721) (← links)
• \(\forall \exists^{5}\)-equational theory of context unification is undecidable (Q1607219) (← links)
• On equational theories, unification, and (un)decidability (Q1825184) (← links)
• Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751) (← links)
• The complexity of counting problems in equational matching (Q5210797) (← links)