ITEM METADATA RECORD
Title: Preserving termination of tabled logic programs while unfolding
Authors: Leuschel, Michael ×
Martens, Bern
Sagonas, Konstantinos #
Issue Date: 1998
Host Document: Logic Program Synthesis and Transformation, Proceedings of 7th International Workshop on Logic Program Synthesis and Transformation (LOPSTR'97), Leuven, Belgium, July 1997 vol:1463 pages:189-205
Conference: 7th International Workshop on Logic Program Synthesis and Transformation location:Leuven, Belgium date:July 1997
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
17730.pdf Published 248KbAdobe PDFView/Open

 


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