Cover Image

Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers /

Bibliographic Details
Corporate Authors:	LOPSTR (Symposium) Valencia, Spain), SpringerLink (Online service)
Other Authors:	Hanus, Michael, 1959-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, [2009]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 5438.
Subjects:	Computer programming > Congresses. Logic programming > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers /
Published: (2010)

Logic-based program synthesis and transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised selected papers /
Published: (2011)

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

Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
Published: (2008)

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers /
Published: (2005)

Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers /
Published: (2006)

Inductive logic programming : 18th international conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008 : revised selected papers /
Published: (2008)

Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings /
Published: (2008)

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

Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers /
Published: (2007)

Functional and constraint logic programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010, Revised selected papers /
Published: (2011)

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings /
Published: (2007)

Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published: (2006)

Logic programming : 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 ; proceedings /
Published: (2009)

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers /
Published: (2010)

Inductive logic programming : 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers /
Published: (2011)

Inductive logic programming : 17th international conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007 : revised selected papers /
Published: (2008)

Logic for programming, artificial Intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings /
Published: (2010)

Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /
Published: (2009)

Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings /
Published: (2008)

Logic programming and nonmonotonic reasoning : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings /
Published: (2011)

Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings /
Published: (2007)

Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised papers /
Published: (2010)

Functional and logic programming : 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings /
Published: (2010)

Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /
Published: (2008)

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings /
Published: (2007)

Unifying theories of programming : second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 : revised selected papers /
Published: (2010)

Web reasoning and rule systems : second international conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008 ; proceedings /
Published: (2008)

Recent advances in constraints : 11th annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers /
Published: (2007)

Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers /
Published: (2005)

Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings /
Published: (2005)

Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings /
Published: (2006)

Programming languages and systems : 18th European Symposium on Programming, ESOP 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, proceedings /
Published: (2009)

Web reasoning and rule systems : third international conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009 ; proceedings /
Published: (2009)

Web reasoning and rule systems : 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 : proceedings /
Published: (2011)

Web reasoning and rule systems : Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. proceedings /
Published: (2010)

Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /
Published: (2007)

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings /
Published: (2005)

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
Published: (2006)

Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings /
Published: (2010)