This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.
The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems." The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting,...

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.
The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.

This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 2008) held during July 17-18, 2008 in Valencia, Spain. Information about ? the conference can be found at http: //www.informatik.uni-kiel.de/ mh/ lopstr08. Previous LOPSTR symposia were held in Lyngby (2007), Venice (2006 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992, and 1991), Leuven (1997), Stockholm (1996), Arnhem (1995), Pisa (1994), and Louvain-la-Neuve (1993). The aim...

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013. The 15 papers presented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem...