The following pages link to Dennis De Champeaux (Q1103416):
Displaying 8 items.
- About the Paterson-Wegman linear unification algorithm (Q1103417) (← links)
- (Q1241271) (redirect page) (← links)
- SUBSTAD: for fast substitution in LISP, with an application on unification (Q1241272) (← links)
- Bidirectional Heuristic Search Again (Q3962475) (← links)
- An optimality theorem for a bi-directional heuristic search algorithm (Q4122792) (← links)
- An Improved Bidirectional Heuristic Search Algorithm (Q4128007) (← links)
- (Q4144218) (← links)
- (Q4184362) (← links)
