Title: Non-transformational termination analysis of logic programs, based on general term-orderings
Authors: Serebrenik, Alexander ×
De Schreye, Danny #
Issue Date: 2000
Host Document: Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation, 2000 pages:45-54
Conference: Tenth International Workshop on Logic-based Program Synthesis and Transformation location:Lonon, United Kingdom date:July 24-28, 2000
Description: Technical Report Series, Department of Computer Science, University of Manchester, ISSN 1361-6161. Report number UMCS-00-6-1, URL :
ISSN: 1361-6161
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
31909.pdf Published 182KbAdobe PDFView/Open


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