Title: Termination analysis of logic programs
Authors: Serebrenik, Alexander # ×
Issue Date: 2003
Conference: 19th International Conference on Logic Programming location:Mumbay, India date:December 9-13, 2003
Description: pp 507-508 in Logic Programming, 19th International Conference, ICLP 2003, LNCS Volume 2916, Springer 2003
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
40875.pdf Published 14KbAdobe PDFView/Open


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