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):
Displayed 7 items.
- Characterizations of \(N(2,2, 0)\) algebras (Q332260) (← links)
- Hilbert's tenth problem is of unification type zero (Q688556) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Unification theory (Q6169561) (← links)