Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Algebraic and Logic Programming: 6th International Joint Conference, Alp '97 - Hoa '97, Southhampton, Uk, September 3-5, 1997. Proceedings

Algebraic and Logic Programming: 6th International Joint Conference, Alp '97 - Hoa '97, Southhampton, Uk, September 3-5, 1997. Proceedings

Hanus, Michael
Heering, Jan
Meinke, Karl

Paperback

Series: Lecture Notes in Computer Science, Book 1298

General ComputersProgramming

ISBN10: 3540634592
ISBN13: 9783540634591
Publisher: Springer
Published: Aug 20 1997
Pages: 297
Weight: 1.58
Height: 0.65 Width: 8.50 Depth: 11.00
Language: English
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.

1 different editions

Also available

Also in

Programming

View All