The following pages link to (Q4266517):
Displaying 8 items.
- Efficient general AGH-unification (Q462489) (← links)
- Combination techniques and decision problems for disunification (Q673624) (← links)
- A decision algorithm for distributive unification (Q1275018) (← links)
- Solving equations with sequence variables and sequence functions (Q2457427) (← links)
- (Q4217942) (← links)
- Combination techniques and decision problems for disunification (Q5055803) (← links)
- An algorithm for distributive unification (Q5055867) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)