ITEM METADATA RECORD
Title: Logic programming revisited: logic programs as inductive definitions
Authors: Denecker, Marc ×
Bruynooghe, Maurice
Marek, Victor #
Issue Date: Oct-2001
Series Title: ACM Transactions on Computational Logic vol:2 issue:4 pages:623-654
ISSN: 1529-3785
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
35054.pdf Published 392KbAdobe PDFView/Open

 


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