ITEM METADATA RECORD
Title: Polynomial interpretations as a basis for termination analysis of logic programs
Authors: Nguyen, Manh Thang
De Schreye, Danny
Editors: Nguyen, Manh Thang
Contributors: De Schreye, Danny
Issue Date: May-2005
Publisher: Department of Computer Science, K.U.Leuven, Leuven, Belgium
Series Title: CW Reports vol:CW412 pages:23
URI: 
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Status SizeFormat
ReportMay2005.pdf Published 258KbAdobe PDFView/Open

 


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