ITEM METADATA RECORD
Title: Demand-driven and constraint-based automatic termination analysis for logic programs
Authors: Decorte, Stefaan ×
De Schreye, Danny #
Issue Date: 1997
Host Document: 14th International Conference on Logic Programming (ICLP'97) pages:70-92
Conference: 14th International Conference on Logic Programming (ICLP'97)
URI: 
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (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.

© Web of science