dblp.uni-trier.dewww.uni-trier.de

D. Andre de Waal Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2000
11EEMaurice 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
9EEMaurice 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
6EED. 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)