Linked Data Explorerhttp://worldcat.org/entity/work/id/1274267502
Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/logic_congresses
- http://id.worldcat.org/fast/872537
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/logics_and_meanings_of_programs
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/informatique
- http://id.worldcat.org/fast/1002056
- http://id.worldcat.org/fast/1124185
- http://id.loc.gov/authorities/subjects/sh2008107111
- http://id.loc.gov/authorities/subjects/sh85008180
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/logic_design
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/programmsynthese
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/programmtransformation
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/computer_science
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/artificial_intelligence_incl_robotics
- http://id.loc.gov/authorities/subjects/sh2009121216
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/formale_methode
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/programmverifikation
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/intelligence_artificielle
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/software_congresses
- http://id.worldcat.org/fast/1002045
- http://id.loc.gov/authorities/subjects/sh85029473
- http://id.worldcat.org/fast/872265
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/programming_techniques
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/artificial_intelligence
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/mathematical_logic_and_formal_languages
- http://id.worldcat.org/fast/817247
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/computational_complexity
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/structure_logique
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/genie_logiciel
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/software_engineering
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/logische_programmierung
- http://id.loc.gov/authorities/subjects/sh87007398
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/complexite_de_calcul_informatique
- http://id.loc.gov/authorities/subjects/sh85078117
- http://id.loc.gov/authorities/subjects/sh2008101470
- http://id.loc.gov/authorities/subjects/sh89003285
- http://id.worldcat.org/fast/871991
- http://experiment.worldcat.org/entity/work/data/1274267502#Topic/discrete_mathematics_in_computer_science
- http://id.worldcat.org/fast/872451
http://schema.org/alternateName
- "LOPSTR 2012"
- "LOPSTR 2012"@en
http://schema.org/description
- "This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm."
http://schema.org/genre
- "Electronic books"
- "Conference papers and proceedings"
- "Conference papers and proceedings"@en
- "Kongress"
- "Ressources Internet"
http://schema.org/name
- "Logic-based program synthesis and transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers"
- "Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : Revised Selected Papers"
- "Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers"@en
- "Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers"