Higher-Order Algebra, Logic, and Term Rewriting
Subtitle: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected (Lecture Notes in Computer Science)
Contributors: Jan Heering (Editor); Karl Meinke (Editor); Bernhard Mvller (Editor)
Publisher: Springer
Published: September 1994
Language: eng
Format: Paperback
Number of pages: 344
ISBN-13: 9783540582335
Subjects: High level programming languages; Mathematical theory of computation; Logic; Computers - Languages / Programming; Programming - General; Logic Design; Congresses