| Home > Publications > Reports > Informatics (CW) > 1999 |
- CW280
-
B. Demoen, G. Janssens and H. Vandecasteele
Executing Query Flocks for ILP
September 1999
abstract.html / report.pdf / email to: B. Demoen - CW279
-
S. Verbaeten, K. Sagonas and D. De Schreye
Modular termination proofs for Prolog with tabling
September 1999
abstract.html / report.pdf / email to: S. Verbaeten - CW278
-
N. Mazur, G. Janssens and M. Bruynooghe
Towards memory reuse for Mercury
June 1999
abstract.html / report.pdf / email to: N. Mazur - CW277
-
S. Verbaeten and D. De Schreye
Termination Analysis of Tabled Logic Programs Using Mode and Type Information
January 1999
abstract.html / report.pdf / email to: S. Verbaeten
