Title: Abstracting s-semantics using a model-theoretic approach
Authors: Boulanger, Dmitri
Bruynooghe, Maurice
Denecker, Marc #
Issue Date: 1994
Publisher: Springer
Host Document: Lecture notes in computer science vol:844 pages:432-446
Conference: Programming Language Implementation and Logic Programming location:Madrid, Spain date:September 14-16, 1994
ISBN: 3-540-58402-1
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:
File Status SizeFormat
PLILP94.pdf Published 902KbAdobe PDFView/Open


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