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 /

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...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Coauteur:	SpringerLink (Online service)
Andere auteurs:	Albert, Elvira
Formaat:	E-boek
Taal:	English
Gepubliceerd in:	Berlin, Heidelberg Springer Berlin Heidelberg 2013.
Reeks:	Lecture Notes in Computer Science 7844
Onderwerpen:	Computer science. Software engineering. Logic design. Computational complexity. Artificial intelligence.
Online toegang:	Click here to view the full text content
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Gepubliceerd in: (2012)

Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /
Gepubliceerd in: (2010)

Logic based program synthesis and transformation (vol. # 3573) / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, revised selected papers
Gepubliceerd in: (2005)

Logic-based program synthesis and transformation 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
Gepubliceerd in: (2009)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Gepubliceerd in: (2013)

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /
Gepubliceerd in: (2007)

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /
Gepubliceerd in: (2007)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Gepubliceerd in: (2012)

Logic based program synthesis and transformation (vol. # 3901) : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
Gepubliceerd in: (2006)

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Gepubliceerd in: (2013)

Deontic logic and normative systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
Gepubliceerd in: (2014)

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Gepubliceerd in: (2010)

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Gepubliceerd in: (2012)

Foundations of information and knowledge systems : 7th International symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /
Gepubliceerd in: (2012)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Gepubliceerd in: (2012)

Graph transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /
Gepubliceerd in: (2012)

Logic, language, information and computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. proceedings /
Gepubliceerd in: (2012)

Formal concept analysis: 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings /
Gepubliceerd in: (2012)

Inductive logic programming 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, revised selected papers /
Gepubliceerd in: (2012)

Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Gepubliceerd in: (2012)

Logic and the foundations of game and decision theory LOFT 8 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers /
Gepubliceerd in: (2010)

Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Gepubliceerd in: (2012)

Logic functions and equations examples and exercises /
door: Steinbach, Bernd
Gepubliceerd in: (2009)

Logic-based artificial intelligence /
Gepubliceerd in: (2000)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Gepubliceerd in: (2010)

Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Gepubliceerd in: (2013)

Abstract state machines, alloy, B, VDM, and Z : Third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Gepubliceerd in: (2012)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Gepubliceerd in: (2012)

Automated reasoning 5th international joint conference, IJCAR 2010, edinburgh, UK, July 16-19, 2010. Proceedings /
Gepubliceerd in: (2010)

Computer science - Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /
Gepubliceerd in: (2012)

Functional and logic programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
Gepubliceerd in: (2008)

Principles and practice of constraint programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings /
Gepubliceerd in: (2012)

Logic synthesis and verification /
Gepubliceerd in: (2002)

Foundations of information and knowledge systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings /
Gepubliceerd in: (2010)

Computing and combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. proceedings /
Gepubliceerd in: (2012)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Gepubliceerd in: (2013)

Programming logics : essays in memory of harald ganzinger /
Gepubliceerd in: (2013)

Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Logic programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /
Gepubliceerd in: (2009)

Applications of graph transformations with industrial relevance : 4th International symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /
Gepubliceerd in: (2012)