D. Andre de Waal

2000
11	EE	Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker: Detecting Unsolvable Queries for Definite Logic Programs CoRR cs.LO/0003067: (2000)
1999
10		Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker: Detecting Unsolvable Queries for Definite Logic Programs Journal of Functional and Logic Programming 1999(Special Issue 2): (1999)
1998
9	EE	Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker: Detecting Unsolvable Queries for Definite Logic Programs. PLILP/ALP 1998: 118-133
1996
8		Michael Leuschel, Danny De Schreye, D. Andre de Waal: A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. JICSLP 1996: 319-332
1995
7		D. Andre de Waal, Michael Thielscher: Solving Deductive Planning Problems Using Program Analysis and Transformation. LOPSTR 1995: 189-203
1994
6		D. Andre de Waal, John P. Gallagher: The Applicability of Logic Program Analysis and Transformation to Theorem Proving. CADE 1994: 207-221
5		John P. Gallagher, D. Andre de Waal: Fast and Precise Regular Approximations of Logic Programs. ICLP 1994: 599-613
1993
4		D. Andre de Waal, John P. Gallagher: Logic Program Specialisation With Deletion of Useless Clauses. ILPS 1993: 632
3		D. Andre de Waal: The Power of Partial Evaluation. LOPSTR 1993: 113-123
1992
2		John P. Gallagher, D. Andre de Waal: Deletion of Redundant Unary Type Predicates from Logic Programs. LOPSTR 1992: 151-167
1991
1		D. Andre de Waal, John P. Gallagher: Specialisation of a Unification Algorithm. LOPSTR 1991: 205-220

Coauthor Index

1	Maurice Bruynooghe	[9] [10] [11]
2	Marc Denecker	[9] [10] [11]
3	John P. Gallagher	[1] [2] [4] [5] [6]
4	Michael Leuschel	[8]
5	Danny De Schreye	[8]
6	Michael Thielscher	[7]
7	Henk Vandecasteele	[9] [10] [11]

Colors in the list of coauthors