Pages that link to "Item:Q3478395"
From MaRDI portal
The following pages link to The undecidability of the D<sub>A</sub>-unification problem (Q3478395):
Displaying 17 items.
- Characterizations of \(N(2,2, 0)\) algebras (Q332260) (← links)
- Decidability of unification in the theory of one-sided distributivity and a multiplicative unit (Q674747) (← links)
- Hilbert's tenth problem is of unification type zero (Q688556) (← 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 undecidability of the second-order unification problem (Q1150586) (← links)
- The unification hierarchy is undecidable (Q1181721) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- \(\forall \exists^{5}\)-equational theory of context unification is undecidable (Q1607219) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- On the (un)decidability of a near-unanimity term (Q2474099) (← links)
- On complexity of the anti-unification problem (Q3184519) (← links)
- (Q4428885) (← links)
- Unification theory (Q6169561) (← links)
- A resolution principle for clauses with constraints (Q6488530) (← links)