Title: Detecting unsolvable queries for definite logic programs
Authors: Bruynooghe, Maurice ×
Vandecasteele, Henk
de Waal, D André
Denecker, Marc #
Issue Date: Nov-1999
Publisher: MIT Press, Cambridge, MA
Series Title: Journal of Functional and Logic Programming vol:1999 pages:1-35
ISSN: 1080-5230
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
19892.pdf Published 301KbAdobe PDFView/Open


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