Pages that link to "Item:Q1280985"
From MaRDI portal
The following pages link to Unification problem in equational theories (Q1280985):
Displaying 9 items.
- 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)
- Narrowing based procedures for equational disunification (Q1197097) (← links)
- Deciding the word problem in the union of equational theories. (Q1400706) (← links)
- Unification theories: examples and applications (Q2305953) (← links)
- (Q4217942) (← links)
- Unification through projectivity (Q4381867) (← links)
- Variant-based equational anti-unification (Q6160760) (← links)
- Model-theoretic aspects of unification (Q6169563) (← links)