The following pages link to (Q4721668):
Displaying 4 items.
- Average-case analysis of unification algorithms (Q685442) (← links)
- Worst-case analysis of the set-union problem with extended backtracking (Q1124334) (← links)
- Unifications, deunifications, and their complexity (Q1173920) (← links)
- An efficient labelled nested multiset unification algorithm (Q2152299) (← links)
