Title: Detecting unsolvable queries for definite logic programs
Authors: Bruynooghe, Maurice ×
Vandecasteele, Henk
de Waal, D André
Denecker, Marc #
Issue Date: 1998
Publisher: Springer
Host Document: Lecture notes in computer science vol:1490 pages:118-133
Conference: Principles of Declarative Programming, Joint Symposium on PLILP/ALP location:Pisa, Italy date:16-18 September 1998
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
16730.pdf Published 233KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.