Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers /
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and sele...
Saved in:
Corporate Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2012
|
Edition: | 1st ed. 2012 |
Series: | Computer Science (Springer-11645)
Computer Science (SpringerNature-11645) LNCS sublibrary Theoretical computer science and general issues ; 7225. LNCS sublibrary Theoretical computer science and general issues 7225 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|