D. Andre de Waal

Publication Activity (10 Years)

Years Active: 1991-2000
Publications (10 Years): 0

Publications

Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
Detecting Unsolvable Queries for Definite Logic Programs CoRR (2000)
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
Detecting Unsolvable Queries for Definite Logic Programs J. Funct. Log. Program. 1999 (Special Issue 2) (1999)
Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker
Detecting Unsolvable Queries for Definite Logic Programs. PLILP/ALP (1998)
Michael Leuschel, Danny De Schreye, D. Andre de Waal
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. JICSLP (1996)
D. Andre de Waal, Michael Thielscher
Solving Deductive Planning Problems Using Program Analysis and Transformation. LOPSTR (1995)
D. Andre de Waal, John P. Gallagher
The Applicability of Logic Program Analysis and Transformation to Theorem Proving. CADE (1994)
John P. Gallagher, D. Andre de Waal
Fast and Precise Regular Approximations of Logic Programs. ICLP (1994)
D. Andre de Waal, John P. Gallagher
Logic Program Specialisation With Deletion of Useless Clauses. ILPS (1993)
D. Andre de Waal
The Power of Partial Evaluation. LOPSTR (1993)
John P. Gallagher, D. Andre de Waal
Deletion of Redundant Unary Type Predicates from Logic Programs. LOPSTR (1992)
D. Andre de Waal, John P. Gallagher
Specialisation of a Unification Algorithm. LOPSTR (1991)