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)

Softcover

ISBN 10: 0387612548 ISBN 13: 9780387612546

Publisher: Springer Nature, 1996

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

Edition details

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