Algebraic and Logic Programming
6th International Joint Conference, Alp '97 - Hoa '97, Southhampton, Uk, September 3-5, 1997. Proceedings (Lecture Notes in Computer Science #1298)
Other Editions of This Title:
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.
Springer, 9783540634591, 297pp.
Publication Date: August 20, 1997