Skip to main content
SpringerLink
Log in

Higher-Order Algebra, Logic, and Term Rewriting

Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Gilles Dowek
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Heering
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Karl Meinke
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Bernhard Möller
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1074)

Included in the following conference series:

Conference proceedings info: HOA 1995.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Term graph rewriting

    • Jan Willem Klop
    Pages 1-16

  3. Approximation and normalization results for typeable term rewriting systems

    • Steffen van Bakel, Maribel Fernández
    Pages 17-36

  4. Modular properties of algebraic type systems

    • Gilles Barthe, Herman Geuvers
    Pages 37-56

  5. Collapsing partial combinatory algebras

    • Inge Bethke, Jan Willem Klop
    Pages 57-73

  6. A complete proof system for Nested Term Graphs

    • Stefan Blom
    Pages 74-89

  7. Rn- and Gn-logics

    • Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
    Pages 90-108

  8. The variable containment problem

    • Stefan Kahrs
    Pages 109-123

  9. Higher-order equational logic for specification, simulation and testing

    • Karl Meinke
    Pages 124-143

  10. The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving

    • Sava Mintchev, David Lester
    Pages 144-162

  11. Assertions and recursions

    • Bernhard Möller
    Pages 163-184

  12. Development closed critical pairs

    • Vincent van Oostrom
    Pages 185-200

  13. Two different strong normalization proofs?

    • Jaco van de Pol
    Pages 201-220

  14. Third-order matching in the polymorphic lambda calculus

    • Jan Springintveld
    Pages 221-237

  15. Higher-order algebra with transfinite types

    • L. J. Steggles
    Pages 238-263

  16. Abstraction of hardware construction

    • Li-Guo Wang, Michael Mendler
    Pages 264-287

  17. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Higher-Order Algebra, Logic, and Term Rewriting

Keywords

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation