Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully...
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , , , |
Format: | Book |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2014
|
Edition: | 1st ed. 2014 |
Series: | Computer Science (Springer-11645)
Computer Science (SpringerNature-11645) LNCS sublibrary Theoretical computer science and general issues ; 8901. LNCS sublibrary Theoretical computer science and general issues 8901 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|