Advertisement

Table of contents

  1. Front Matter
  2. Jan Willem Klop
    Pages 1-16
  3. Steffen van Bakel, Maribel Fernández
    Pages 17-36
  4. Gilles Barthe, Herman Geuvers
    Pages 37-56
  5. Inge Bethke, Jan Willem Klop
    Pages 57-73
  6. Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
    Pages 90-108
  7. Stefan Kahrs
    Pages 109-123
  8. Bernhard Möller
    Pages 163-184
  9. Vincent van Oostrom
    Pages 185-200
  10. Jaco van de Pol
    Pages 201-220
  11. L. J. Steggles
    Pages 238-263
  12. Li-Guo Wang, Michael Mendler
    Pages 264-287
  13. Back Matter

About these proceedings

Introduction

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

  • DOI https://doi.org/10.1007/3-540-61254-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61254-4
  • Online ISBN 978-3-540-68389-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site