de Champeaux, Dennis

3 publications

IJCAI 1981 Symbolic Evaluation of LISP Functions with Side Effects for Verification Dennis de Champeaux, Jos de Bruin

IJCAI 1979 Sub-Problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers Dennis de Champeaux

IJCAI 1975 An Improved Di-Directional Heuristic Search Algorithm Dennis de Champeaux, Lenie Sint