Algebraic and Logic Programming

6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

  • Editors
  • Michael Hanus
  • Jan Heering
  • Karl Meinke
Conference proceedings

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

Table of contents

  1. Front Matter
  2. M. Alpuente, M. Falaschi, G. Moreno, G. Vidal
    Pages 1-15
  3. Alfons Geser, Sergei Gorlatch
    Pages 46-60
  4. Claude Kirchner, Christophe Ringeissen
    Pages 61-75
  5. Takahito Aoto, Yoshihito Toyama
    Pages 114-128
  6. Enno Ohlebusch
    Pages 144-158
  7. J. M. Almendros-Jiménez, A. Gil-Luezas
    Pages 159-173
  8. Gilles Baxthe, Femke van Raamsdonk
    Pages 174-193
  9. Luís Caires, Luís Monteiro
    Pages 194-208
  10. Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos
    Pages 209-223
  11. César A., Muñoz H.
    Pages 224-239
  12. Zurab Khasidashvili, Mizuhito Ogawa
    Pages 240-255
  13. Slim Abdennadher, Heribert Schütz
    Pages 256-272
  14. Nadia Nedjah, Colin D. Walter, Stephen E. Eldridge
    Pages 273-286
  15. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.
The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.

Keywords

algebraic programming functional programming higher order logics logic logic programming programming proving theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0026998
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63459-1
  • Online ISBN 978-3-540-69555-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book