Pages that link to "Item:Q1275018"
From MaRDI portal
The following pages link to A decision algorithm for distributive unification (Q1275018):
Displaying 8 items.
- A practical unification algorithm (Q751312) (← links)
- Solvability of context equations with two context variables is decidable (Q1599536) (← links)
- \(\forall \exists^{5}\)-equational theory of context unification is undecidable (Q1607219) (← links)
- Unification modulo ACUI plus distributivity axioms (Q1774555) (← links)
- Decidability of bounded second order unification (Q1887168) (← links)
- Unification and matching modulo nilpotence (Q4647522) (← links)
- An algorithm for distributive unification (Q5055867) (← links)
- Bounded ACh unification (Q5139278) (← links)