Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001. The 13 revised full papers presented together with an invited paper were carefully selected an...
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2002]
|
| Series: | Lecture notes in computer science ;
2372. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
Published 2002
Conference Proceeding
Book