Pages that link to "Item:Q5055867"
From MaRDI portal
The following pages link to An algorithm for distributive unification (Q5055867):
Displaying 7 items.
- A practical unification algorithm (Q751312) (← links)
- A decision algorithm for distributive unification (Q1275018) (← links)
- Unification in free distributive lattices (Q1322163) (← links)
- Complexity of nilpotent unification and matching problems. (Q1854363) (← links)
- (Q3991208) (← links)
- An algorithm for distributive unification (Q5055867) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465863) (← links)