Skip to main content
  • Conference proceedings
  • © 1996

Higher-Order Algebra, Logic, and Term Rewriting

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

Editors:

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

Conference series link(s): HOA: International Workshop on Higher-Order Algebra, Logic, and Term Rewriting

Conference proceedings info: HOA 1995.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 papers)

  1. Front Matter

  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. R n - and G n -logics

    • Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
    Pages 90-108
  7. The variable containment problem

    • Stefan Kahrs
    Pages 109-123
  8. Assertions and recursions

    • Bernhard Möller
    Pages 163-184
  9. Development closed critical pairs

    • Vincent van Oostrom
    Pages 185-200
  10. Two different strong normalization proofs?

    • Jaco van de Pol
    Pages 201-220
  11. Higher-order algebra with transfinite types

    • L. J. Steggles
    Pages 238-263
  12. Abstraction of hardware construction

    • Li-Guo Wang, Michael Mendler
    Pages 264-287
  13. Back Matter

Other Volumes

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

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.

Keywords

  • Addition
  • Graph Rrewriting
  • Graphersetzung
  • Higher-Order Algebra
  • Higher-Order Logic
  • Higher-Order Term
  • Höherstufige Algebra
  • Höherstufige Terme
  • Rewriting
  • Termersetzungssysteme
  • Variable
  • calculus
  • lambda calculus
  • logic
  • theorem proving

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions