Opening book details…
Can I read Logic-based Program Synthesis And Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/main, Germany, September 4-6, 2018, Revised Selected Papers (lecture Notes In Computer Science) on EtoBox?
Logic-based Program Synthesis And Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/main, Germany, September 4-6, 2018, Revised Selected Papers (lecture Notes In Computer Science) by Fred Mesnard; Peter J Stuckey; SpringerLink (Online service) is a nonfiction available to read on EtoBox.
What is Logic-based Program Synthesis And Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/main, Germany, September 4-6, 2018, Revised Selected Papers (lecture Notes In Computer Science) about?
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis. Erscheinungsdatum: 23.02.2019
Who reads Logic-based Program Synthesis And Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/main, Germany, September 4-6, 2018, Revised Selected Papers (lecture Notes In Computer Science)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Fred Mesnard; Peter J Stuckey; SpringerLink (Online service)
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2019
- Language
- EN
- ISBN
- 9783030138387
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Language Learning
More by Fred Mesnard; Peter J Stuckey; SpringerLink (Online service)
Browse all works by Fred Mesnard; Peter J Stuckey; SpringerLink (Online service)
Similar books
- 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-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers — Jürgen Giesl, Thomas Ströder (auth.), Elvira Albert (2013)
- Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers — Olivier Danvy, Ian Zerny (auth.), María Alpuente (2011)
- 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 : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers — John P. Gallagher (auth.), Germán Vidal (2012)
- Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers — Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (2009)