Title: An abstract machine for tabled execution of fixed-order stratified logic programs
Authors: Sagonas, Konstantinos ×
Swift, T #
Issue Date: May-1998
Publisher: ACM
Series Title: ACM Transactions on Programming Languages and Systems vol:20 issue:3 pages:586-634
ISSN: 0164-0925
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
2679.pdf Published 588KbAdobe PDFView/Open


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

© Web of science