Higher-order algebra, logic and term rewriting /

Bibliographic Details
Corporate Author: International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA Paderborn, Germany
Other Authors: Dowek, Guilles (ed.), Heering, Jan (ed.), Meinke, Karl (ed.), Möller, Bernhard (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1996.
Series:Lecture notes in computer science ; v. 1074
LNCS ; v. 1074
Subjects:
Description
Physical Description:287 p. : il. ; 24 cm.
ISBN:3540612548