Title: Polynomial interpretations as a basis for termination analysis of logic programs
Authors: Nguyen, Manh Thang ×
De Schreye, Danny #
Issue Date: 2005
Host Document: Logic Based Program Synthesis and Transformation, Pre-Proceedings pages:180-186
Conference: International Symposium on Logic-based Program Synthesis and transformation location:Imperial College, London, United Kingdom date:September 7-9, 2005
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
41786.pdf Published 114KbAdobe PDFView/Open


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