Cover Image

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

Show other versions (1)

This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three round...

Full description

Bibliographic Details
Corporate Authors:	International Workshop on Logic-based Program Synthesis and Transformation Manchester, England, SpringerLink (Online service)
Other Authors:	Flener, Pierre, 1964-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 1999.
Series:	Lecture notes in computer science ; 1559.
Subjects:	Logic programming > Congresses. Logic programming. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

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 : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers /
Published: (2001)

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

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

Implementations of Logic Programming Systems /
by: Tick, Evan
Published: (1994)

Meta-programming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings /
Published: (1992)

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

Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings /
Published: (1992)

Conclog : a methodological approach to concurrent logic programming /
by: Jacquet, J.-M. (Jean-Marie)
Published: (1991)

Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers /
Published: (1997)

Multiprocessor Execution of Logic Programs /
by: Gupta, Gopal
Published: (1994)

Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings /
Published: (1997)

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

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 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 : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers /
Published: (2003)

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 : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers /
Published: (2007)

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

Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 /
Published: (1988)

Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 /
Published: (1987)

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

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

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings /
Published: (2001)

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 : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings /
Published: (2002)

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings /
Published: (1997)

Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings /
Published: (1999)

Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings /
Published: (1999)

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1996)

Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers /
Published: (1998)

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings /
Published: (1997)

Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers /
Published: (2003)

Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)

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 : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
Published: (2001)

The journal of logic and algebraic programming.
Published: (2001)

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski /
Published: (2002)

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