Algebraic and logic programming
Subtitle: 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
By: Michael Hanus, Jan Heering, Karl Meinke (eds.).
Contributors: Hanus, Michael.; Heering, J.; Meinke, K.; International Conference on Algebraic and Logic Programming (6th : 1997 : Southampton, England); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (3rd : 1997 : Southampton, England)
Series: Lecture notes in computer science,; 1298
Publisher: Springer-Verlag
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 286
Subjects: Logic programming -- Congresses; Algebraic logic -- Congresses
Description: 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.
Notes: Includes bibliographical references and index.
"Proceedings of the Sixth International Conference on Algebra and Logic Programming (ALP '97) and the Third International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '97), held in Southampton (Great Britain) during September 3-5, 1997"--Pref.