Table of contents

  1. Front Matter
  2. Andrea Asperti, Cosimo Laneve
    Pages 1-19
  3. Steffen van Bakel, Maribel Fernández
    Pages 20-39
  4. Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt
    Pages 56-75
  5. Arie van Deursen, T. B. Dinesh
    Pages 76-95
  6. William M. Farmer
    Pages 96-123
  7. Radu Grosu, Franz Regensburger
    Pages 124-145
  8. B. M. Hearn, K. Meinke
    Pages 146-168
  9. Monica Nesi, Valeria de Paiva, Eike Ritter
    Pages 256-275
  10. Vincent van Oostrom, Femke van Raamsdonk
    Pages 276-304
  11. Back Matter

About these proceedings


This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.


C programming language Computational Logic Computer-Logik Functional Programming Funktionales Programmieren Higher-Order Methoden Higher-Order Methods Logic Programming Resolution Termersetzungsverfahren logic programming programming language verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58233-5
  • Online ISBN 978-3-540-48579-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site