Higher-Order Algebra, Logic, and Term Rewriting - Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Paperback, 1996 ed.)

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.
The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1074
Release date:	May 1996
First published:	1996
Editors:	Gilles Dowek • Jan Heering • Karl Meinke • Bernhard Moeller
Dimensions:	235 x 155 x 16mm (L x W x T)
Format:	Paperback
Pages:	296
Edition:	1996 ed.
ISBN-13:	978-3-540-61254-4
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > General Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
LSN:	3-540-61254-8
Barcode:	9783540612544

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!