The following pages link to A practical unification algorithm (Q751312):
Displaying 11 items.
- Efficient general AGH-unification (Q462489) (← links)
- An almost linear Robinson unification algorithm (Q582141) (← links)
- Average-case analysis of unification algorithms (Q685442) (← links)
- About the Paterson-Wegman linear unification algorithm (Q1103417) (← links)
- A practically efficient and almost linear unification algorithm (Q1105360) (← links)
- An algorithm for the retrieval of unifiers from discrimination trees (Q1382150) (← links)
- Faster linear unification algorithm (Q2102937) (← links)
- Unifying F-logic molecules: a rectification to the original unification algorithm (Q2826037) (← links)
- (Q3722253) (← links)
- (Q3726081) (← links)
- (Q3991208) (← links)