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

Other volumes

  1. 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 Proceedings
  2. Algebraic and Logic Programming
    6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

About these proceedings


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.


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

Bibliographic information