D. Andre de Waal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1991–1996
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | ICLP | A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. | Michael Leuschel, Danny De Schreye, D. Andre de Waal |
| 1995 | LOPSTR | Solving Deductive Planning Problems Using Program Analysis and Transformation. | D. Andre de Waal, Michael Thielscher |
| 1994 | CADE | The Applicability of Logic Program Analysis and Transformation to Theorem Proving. | D. Andre de Waal, John P. Gallagher |
| 1994 | ICLP | Fast and Precise Regular Approximations of Logic Programs. | John P. Gallagher, D. Andre de Waal |
| 1993 | LOPSTR | The Power of Partial Evaluation. | D. Andre de Waal |
| 1992 | LOPSTR | Deletion of Redundant Unary Type Predicates from Logic Programs. | John P. Gallagher, D. Andre de Waal |
| 1991 | LOPSTR | Specialisation of a Unification Algorithm. | D. Andre de Waal, John P. Gallagher |