Knihobot
Kniha momentálne nie je na sklade

Higher order algebra, logic, and term rewriting

Autori

Viac o knihe

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.

Parametre

ISBN
9783540612544
Vydavateľstvo
Springer

Kategórie

Variant knihy

1996

Nákup knihy

Kniha momentálne nie je na sklade.