The book is currently out of stock
Higher order algebra, logic, and term rewriting
Authors
Parameters
More about the book
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.
Book purchase
Higher order algebra, logic, and term rewriting, Gilles Dowek
- Language
- Released
- 1996
We’ll notify you via email once we track it down.
Payment methods
- Title
- Higher order algebra, logic, and term rewriting
- Language
- English
- Authors
- Gilles Dowek
- Publisher
- Springer
- Released
- 1996
- ISBN10
- 3540612548
- ISBN13
- 9783540612544
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming
- Description
- 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.