ITEM METADATA RECORD
Title: Polytool: Proving termination automatically based on polynomial interpretation
Authors: Nguyen, Manh Thang ×
De Schreye, Danny #
Issue Date: 2006
Host Document: Preproceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06) pages:188-196
Conference: International Symposium on Logic-based Program Synthesis and Transformation location:Venice, Italy date:July 12-14, 2006
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
lopstr06-ready2.pdf Published 136KbAdobe PDFView/Open

 


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

© Web of science