Higher-order algebra, logic, and term rewriting
Subtitle: second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
By: Gilles Dowek ... [et al.] (eds.).
Contributors: Dowek, Gilles.; International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany)
Series: Lecture notes in computer science ;; 1074
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 287
Subjects: Rewriting systems (Computer science) -- Congresses; Algebra -- Congresses; Logic, Symbolic and mathematical -- Congresses
Notes: Includes bibliographical references.