Cover Image

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

Show other versions (1)

Bibliographic Details
Corporate Authors:	LOPSTR (Symposium) Venice, Italy), SpringerLink (Online service)
Other Authors:	Puebla, Germán
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2007]
Series:	Lecture notes in computer science. 4407.
Subjects:	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 : 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)

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

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

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

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

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

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 : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers /
Published: (2010)

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

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

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

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-based program synthesis and transformation : 9th International Workshop, LOPSTR '99, Venice, Italy, September 1999 : selected papers /
Published: (2000)

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

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

Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 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 : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /
Published: (2009)

Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers /
Published: (2004)

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

Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers /
Published: (2003)

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)

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /
Published: (2002)

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers /
Published: (1999)

Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers /
Published: (2001)

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers /
Published: (1999)

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /
Published: (2002)

Logic program synthesis and transformation : proceedings of LOPSTR '92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
Published: (1993)

Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings /
Published: (1998)

Logic based program synthesis and transformation 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
Published: (2004)

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

Logic based program synthesis and transportation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers /
Published: (2003)

Logic program synthesis and transformation, Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings /
Published: (1994)

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