Logic Based Program Synthesis and Transformation: 13th International Symposium Lopstr 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Pape

By Maurice Bruynooghe

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540221743
• ISBN13: 9783540221746
• Release Date: June 2004
• Publisher: Springer
• Length: 238 Pages
• Weight: 0.78 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"