Opening book details…
Can I read Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559) on EtoBox?
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559) by Pierre Flener; International Workshop on Logic-Based Program Synthesis and Transformation is a computer science book available to read on EtoBox.
What is Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559) about?
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic p
Who reads Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Pierre Flener; International Workshop on Logic-Based Program Synthesis and Transformation
- Publisher
- Springer Berlin Heidelberg
- Published
- 1999
- Language
- EN
- ISBN
- 9783642381966
- Category
- computer science
- Subjects
- Engineering, Mathematics, Programming
- Updated
- 2026-03-25
Other editions & translations
- Logic-based Program Synthesis And Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers (lecture Notes In Com (2003)
- Logic-based Program Synthesis And Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers (lecture Notes In Com (1999)
More by Pierre Flener; International Workshop on Logic-Based Program Synthesis and Transformation
Similar books
- Logic-based Program Synthesis And Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers (lecture Notes In Computer Science) — Norbert E. Fuchs, Uta Schwertel (auth.), Pierre Flener (1999)
- Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science, 2372) — Natarajan Shankar (auth.), Alberto Pettorossi (2002)
- Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Lecture Notes in Computer Science, 8981) — Hirohisa Seki Maurizio Proietti (2015)
- Logic program synthesis and transformation : proceedings of LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 — Jonathan M. Lever (auth.), Timothy Paul Clement MA, DPhil, Kung-Kiu Lau BSc, PhD (1992)
- Logic-based program synthesis and transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013 : revised selected papers — Gopal Gupta, Ricardo Peña (2014)
- Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers — Germán Vidal (auth.), Danny De Schreye (2010)