Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Alpuente, María (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
• Series: Lecture Notes in Computer Science, 6564
• Subjects: Computer science.; Computer programming.; Software engineering.; Computer logic.; Artificial intelligence.; Algorithms.; Computer Science.; Software Engineering.; Programming Techniques.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed...