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

Main
Computers - Programming
Higher-Order Algebra, Logic, and Term...

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Name: Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
ISBN: 9783540612544

Jan Willem Klop (auth.), Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.)

0 / 0

0 comments

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

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.

Kategori:

Computers - Programming

Tahun:

1996

Edisi:

Penerbit:

Springer-Verlag Berlin Heidelberg

Bahasa:

english

Halaman:

296

ISBN 10: