Higher-order algebra, logic, and term rewriting
Subtitle: first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers
By: Jan Heering ... [et al.], eds.
Contributors: Heering, J.; International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands)
Series: Lecture notes in computer science ;; 816
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 344
Subjects: Rewriting systems (Computer science) -- Congresses; Algebra -- Congresses; Logic, Symbolic and mathematical -- Congresses
Notes: Includes bibliographical references.