Table of contents

  1. Front Matter
  2. Catuscia Palamidessi
    Pages 1-2
  3. Michael Codish, Grigory Mashevitzky
    Pages 6-22
  4. Michel Bidoit, Rolf Hennicker
    Pages 41-58
  5. Andreas Werner, Alexander Bockmayr, Stefan Krischer
    Pages 59-76
  6. María Alpuente, Moreno Falaschi, Germán Vidal
    Pages 77-94
  7. F. Bueno, M. Hermenegildo, U. Montanari, F. Rossi
    Pages 114-132
  8. Sergio Antoy, Aart Middeldorp
    Pages 168-185
  9. M. C. F. Ferreira, H. Zantema
    Pages 204-222
  10. Massimo Marchiori
    Pages 223-241
  11. Neil D Jones, Mads Rosendahl
    Pages 242-252
  12. Annalisa Bossi, Nicoletta Cocco
    Pages 269-286

Other volumes

  1. 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  2. Algebraic and Logic Programming
    4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings

About these proceedings

Introduction

This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.
Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.

Keywords

Constraint Logic Programming Logic Programming algebraic programming algebraisches Programmieren higher-order programming höherstufiges Programmieren logic programming proving term rewri theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-58431-5
  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58431-5
  • Online ISBN 978-3-540-48791-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace