Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Wersja papierowa
Redakcja:
Dowek Gilles
Wydawnictwo:
Springer Nature B.V.ISBN: 978-35-406-1254-4
Format: 15.6x23.4cm
Liczba stron: 304
Oprawa: Miękka
Wydanie: 1996 r.
Język: angielski
Dostępność: dostępny
220,20 zł
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.<BR>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.
