D. Andre de Waal

According to our database, D. Andre de Waal authored at least 9 papers between 1991 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Detecting Unsolvable Queries for Definite Logic Programs

Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker

J. Funct. Log. Program., 1999

1996

A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration.

Michael Leuschel, Danny De Schreye, D. Andre de Waal

Proceedings of the Logic Programming, 1996

1995

Solving Deductive Planning Problems Using Program Analysis and Transformation.

D. Andre de Waal, Michael Thielscher

Proceedings of the Logic Programming Synthesis and Transformation, 1995

1994

Fast and Precise Regular Approximations of Logic Programs.

John P. Gallagher, D. Andre de Waal

Proceedings of the Logic Programming, 1994

The Applicability of Logic Program Analysis and Transformation to Theorem Proving.

D. Andre de Waal, John P. Gallagher

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Logic Program Specialisation With Deletion of Useless Clauses.

D. Andre de Waal, John P. Gallagher

Proceedings of the Logic Programming, 1993

The Power of Partial Evaluation.

D. Andre de Waal

Proceedings of the Logic Program Synthesis and Transformation, 1993

1992

Deletion of Redundant Unary Type Predicates from Logic Programs.

John P. Gallagher, D. Andre de Waal

Proceedings of the Logic Program Synthesis and Transformation, 1992

1991

Specialisation of a Unification Algorithm.

D. Andre de Waal, John P. Gallagher

Proceedings of the Logic Program Synthesis and Transformation, 1991