Cover Image

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

Show other versions (1)

Bibliographic Details
Corporate Authors:	Fuji International Symposium on Functional and Logic Programming Fuji-Susono, Japan, SpringerLink (Online service)
Other Authors:	Hagiya, Masami, 1957-, Wadler, Philip, 1956-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2006]
Series:	Lecture notes in computer science. 3945.
Subjects:	Functional programming (Computer science) > Congresses. Logic programming > Congresses. Programmation fonctionnelle > Congrès. Programmation logique > Congrès. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures /
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 programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings /
Published: (2005)

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

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

Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings /
Published: (2004)

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

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Published: (1988)

Inductive logic programming : 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings /
Published: (2005)

Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers /
Published: (2006)

Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings /
Published: (2005)

Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers /
Published: (2005)

Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)

Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1995)

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published: (2005)

Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text /
Published: (1995)

Constraint solving and language processing : first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers /
Published: (2005)

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

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 /
Published: (1982)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Published: (1995)

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 : 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)

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)

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

Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /
Published: (1989)

Advanced functional programming : 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008, revised lectures /
Published: (2009)

Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures /
Published: (2006)

Central European functional programming school : second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 : revised selected lectures /
Published: (2008)

Central European Functional Programming School : third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 : revised selected lectures /
Published: (2010)

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

Handbook of logic in artificial intelligence and logic programming.
Published: (2020)

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

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

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

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

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

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-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
Published: (2008)