Title: Bottom-up abstract interpretation of logic programs
Authors: Codish, Michael ×
Dams, D
Yardeni, E #
Issue Date: 1994
Publisher: Elsevier, Amsterdam
Series Title: Theoretical Computer Science vol:124 pages:93-125
ISSN: 0304-3975
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
1-s2.0-0304397594900558-main.pdf Published 2143KbAdobe PDFView/Open


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

© Web of science