Title: Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003, Revised Selected Papers
Editors: Bruynooghe, Maurice
Issue Date: 2004
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:3018
Conference: 13th International Symposium on Logic Based Program Synthesis and Transformation location:Uppsala, Sweden date:August 25-27, 2003
ISBN: 3-540-22174-3
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IBe
Appears in Collections:Informatics Section

Files in This Item:

There are no files associated with this item.


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