Der Artikel ist weiterhin als ^^OTHERCONDITION^^ verfügbar.

Higher-Order Algebra, Logic, and Term Rewriting

2nd International Workshop, Paderborn, Germany, September 1995. Selected Papers
 Taschenbuch
Besorgungstitel | Lieferzeit:3-5 Tage I
ISBN-13:
9783540612544
Einband:
Taschenbuch
Seiten:
296
Autor:
Gilles Dowek
Gewicht:
407 g
Format:
235xx mm
Serie:
Vol.1074, Lecture Notes in Computer Science
Sprache:
Englisch
Beschreibung:

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.
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.

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.
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.
Weitere Mitwirkende: Gilles Dowek, Jan Heering, Karl Meinke
Gilles Dowek is Director of Research at INRIA and heads the LOGICAL project-team. He is also a Professor at the École Polytechnique and a researcher at the École Polytechnique's Computer Science Laboratory (LIX). He is an advisor to the National Institute of Aerospace, a NASA Langley research centre laboratory. His research focuses on formalising mathematics, on demonstration processing systems related to quantum programming language design and on safety for aerospace systems. He has written several works aimed at explaining maths and science theory in layman's terms.
Autor: Gilles Dowek
ISBN-13:: 9783540612544
ISBN: 3540612548
Verlag: Springer, Berlin
Gewicht: 407g
Seiten: 296
Sprache: Englisch
Sonstiges: Taschenbuch, 235xx mm, VIII, 296 p.