ITEM METADATA RECORD
Title: Termination of simply moded, well-typed logic programs under tabled execution mechanism
Authors: Verbaeten, Sofie ×
De Schreye, Danny #
Issue Date: 1999
Conference: 4th International Workshop on Termination location:Dagstuhl, Germany date:May 1999
URI: 
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

 


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