Title: A general framework for automatic termination analysis of logic programs
Authors: Dershowitz, N ×
Lindenstrauss, N
Sagiv, Yehoshua
Serebrenik, Alexander #
Issue Date: 2001
Series Title: Applicable Algebra in Engineering, Communication and Computing vol:12 issue:1-2 pages:117-156
ISSN: 0938-1279
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
30661.pdf Published 401KbAdobe PDFView/Open


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

© Web of science