Stock image for illustration purposes only - book cover, edition or condition may vary.
Higher-Order Algebra, Logic and Term Rewriting
. Ed(S): Dowek, Gilles; Heering, J.; Meinke, K.; Moller, B.
€ 67.01
FREE Delivery in Ireland
Description for Higher-Order Algebra, Logic and Term Rewriting
Paperback. 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. Editor(s): Dowek, Gilles; Heering, J.; Meinke, K.; Moller, B. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UM; UYA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 950.
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.
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.
Product Details
Format
Paperback
Publication date
1996
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
304
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
296
Place of Publication
Berlin, Germany
ISBN
9783540612544
SKU
V9783540612544
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Higher-Order Algebra, Logic and Term Rewriting