Items related to Higher-Order Algebra, Logic, and Term Rewriting: Second...

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers (Lecture Notes in Computer Science) - Softcover

International Workshop On Higher-Order Algebra, Logic, And Term Rewriting (2nd : 1995 : Paderborn, Germany)

 
9780387612546: Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387612548 ISBN 13: 9780387612546
Publisher: Springer Nature, 1996

This specific ISBN edition is currently not available.

Synopsis

Higher-Order Algebra, Logic and Term Rewriting Presenting 14 papers from the Second International Workshop on Higher-Order Algebra, Logic and Term-Rewriting, this work reports on the state of the art, addressing relevant theoretical aspects and discussing existing proof systems and term rewriting systems. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer Nature
Publication date
1996
Language
English
ISBN 10 
0387612548
ISBN 13 
9780387612546
Binding
Paperback
Editor
Dowek Gilles

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540612544: Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers: 1074 (Lecture Notes in Computer Science, 1074)

Featured Edition

ISBN 10:  3540612548 ISBN 13:  9783540612544
Publisher: Springer, 1996
Softcover