Pages that link to "Item:Q1077931"
From MaRDI portal
The following pages link to The undecidability of the unification and matching problem for canonical theories (Q1077931):
Displaying 9 items.
- Matching - a special case of unification? (Q582272) (← links)
- A note on a canonical theory with undecidable unification and matching problem (Q1098623) (← links)
- The unification hierarchy is undecidable (Q1181721) (← links)
- The undecidability of the semi-unification problem (Q1207950) (← links)
- The undecidability of the D<sub>A</sub>-unification problem (Q3478395) (← links)
- Some independence results for equational unification (Q5055843) (← links)
- It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair (Q5096169) (← links)
- Algebraic and logical aspects of unification (Q6169562) (← links)
- Some results on equational unification (Q6488537) (← links)