The following pages link to (Q4282529):
Displaying 4 items.
- Decidability of unification in the theory of one-sided distributivity and a multiplicative unit (Q674747) (← links)
- Unification problems with one-sided distributivity (Q1099650) (← links)
- A decision algorithm for distributive unification (Q1275018) (← links)
- An algorithm for distributive unification (Q5055867) (← links)