Home > Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 20 of 35 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XVII | |||
1-1 | |||
3-17 | |||
19-19 | |||
21-35 | |||
36-53 | |||
55-55 | |||
57-72 | |||
73-88 | |||
89-89 | |||
91-106 | |||
107-123 | |||
125-125 | |||
127-142 | |||
143-160 | |||
161-161 | |||
163-178 | |||
179-200 | |||
201-217 | |||
219-219 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 35 entries
Topics