Higher-Order Algebra, Logic, and Term Rewriting

Name: Higher-Order Algebra, Logic, and Term Rewriting
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540612544
Price: 52.65 EUR
Availability: InStock

2nd International Workshop, Paderborn, Germany, September 1995. Selected Papers

Автор: Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.65 € 102.98 лв

This book presents a collection of revised refereed papers selected from the presentations accepted...

Информация за книгата

Автор

Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller

Език

Английски език

Корици

Книга - С меки корици

Издадена

1996

страници

296

EAN

9783540612544

ISBN

3540612548

Enbook ID

05274575

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

950

Размери

155 x 235 x 17

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Higher-Order Algebra, Logic, and Term Rewriting

2nd International Workshop, Paderborn, Germany, September 1995. Selected Papers

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също