Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Leuschel, M. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Edition: 1st ed. 2003.
• Series: Lecture Notes in Computer Science, 2664
• Subjects: Computer logic.; Computer programming.; Mathematical logic.; Logics and Meanings of Programs.; Science, Humanities and Social Sciences, multidisciplinary.; Programming Techniques.; Mathematical Logic and Formal Languages.

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during...