Title: Inference of termination conditions for numerical loops in Prolog
Authors: Serebrenik, Alexander ×
De Schreye, Danny #
Issue Date: 2001
Host Document: Lecture Notes in Computer Science vol:2250 pages:654-668
Conference: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, Proceedings location:Havana, Cuba date:December 3-7, 2001
ISSN: 0302-9743
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
36212.pdf Published 246KbAdobe PDFView/Open


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