Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers /

Bibliographic Details
Corporate Author:	International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
Other Authors:	Dowek, Gilles
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1074.
Subjects:	Rewriting systems (Computer science) > Congresses. Algebra > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage