Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1298)
Included in the following conference series:
- HOA: International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
- ALP: International Conference on Algebraic and Logic Programming
Conference proceedings info: HOA 1997, ALP 1997.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Keywords
Table of contents (18 papers)
Other volumes
-
Algebraic and Logic Programming
Bibliographic Information
Book Title: Algebraic and Logic Programming
Book Subtitle: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Editors: Michael Hanus, Jan Heering, Karl Meinke
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0026998
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-63459-1Published: 20 August 1997
eBook ISBN: 978-3-540-69555-4Published: 19 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 297
Topics: Programming Languages, Compilers, Interpreters, Theory of Computation, Computer System Implementation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial Intelligence