|ITEM METADATA RECORD
|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|
|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.