Home > Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 18 of 18 entries
Chapters/Headings | Author(s) | Pages | Info |
1-3 | |||
4-24 | |||
25-41 | |||
42-56 | |||
57-72 | |||
73-89 | |||
90-105 | |||
106-122 | |||
123-138 | |||
139-154 | |||
155-172 | |||
173-188 | |||
189-204 | |||
205-220 | |||
221-236 | |||
237-252 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 18 of 18 entries
Topics
Mathematical Logic and Formal Languages Computational complexity Discrete Mathematics in Computer Science Software engineering Programming Techniques Logic design Logics and Meanings of Programs Computer science Artificial intelligence Artificial Intelligence (incl. Robotics) Logic programming Congresses Program transformation (Computer programming)