Algebraic and Logic Programming
Subtitle: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Computer Science)
Contributors: Michael Hanus (Editor); Jan Heering (Editor); Karl Meinke (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 19, 1997
Language: eng
Format: Paperback
Number of pages: 286
ISBN-13: 9783540634591
Subjects: Computer architecture & logic design; Mathematical theory of computation; Programming languages; Programming - General; Congresses; Philosophy Of Mathematics; Computers; Computers - Languages / Programming; Computer Books: Languages; Logic Programming; Logic; Logic Design; Programming Languages - General; Computers / Programming Languages / General; algebraic programming; functional programming; higher order logics; Algebraic logic