ITEM METADATA RECORD
Title: Preserving termination of tabled logic programs while unfolding
Authors: Leuschel, Michael
Martens, Bern
Sagonas, Konstantinos #
Issue Date: Jul-1997
Host Document: Pre-Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96)
Conference: 7th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96) location:Leuven date:July 1997
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy

 




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