Title: Proving termination with adornments
Authors: Serebrenik, Alexander ×
De Schreye, Danny #
Issue Date: 2003
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:3018 pages:108-109
Conference: International Symposium, Logic Based Program Synthesis and Transformation.LOPSTR 2003 edition:13 location:Uppsala, Sweden date:August 25-27, 2003
Description: Logic based program synthesis and transformation
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
chp%3A10.1007%2F978-3-540-25938-1_10.pdf Published 66KbAdobe PDFView/Open


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

© Web of science