ITEM METADATA RECORD
Title: Inference of termination conditions for numerical loops in Prolog
Authors: Serebrenik, Alexander
De Schreye, Danny
Issue Date: Nov-2003
Publisher: Department of Computer Science, K.U.Leuven, Leuven, Belgium
Series Title: CW Reports vol:CW374 pages:31
URI: 
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Status SizeFormat
CW374.pdf Published 274KbAdobe PDFView/Open

 


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