Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers by Gilles DowekHigher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers by Gilles Dowek

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn…

EditorGilles Dowek

Paperback | May 8, 1996

Pricing and Purchase Info

$114.32 online 
$128.95 list price save 11%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn…Format:PaperbackDimensions:294 pages, 9.25 × 6.1 × 0 inPublished:May 8, 1996Publisher:Springer Berlin Heidelberg

The following ISBNs are associated with this title:

ISBN - 10:3540612548

ISBN - 13:9783540612544

Look for similar items by category:

Reviews

Table of Contents

Term graph rewriting.- Approximation and normalization results for typeable term rewriting systems.- Modular properties of algebraic type systems.- Collapsing partial combinatory algebras.- A complete proof system for Nested Term Graphs.- R n - and G n -logics.- The variable containment problem.- Higher-order equational logic for specification, simulation and testing.- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving.- Assertions and recursions.- Development closed critical pairs.- Two different strong normalization proofs?.- Third-order matching in the polymorphic lambda calculus.- Higher-order algebra with transfinite types.- Abstraction of hardware construction.