Table of contents

  1. Front Matter
  2. Joseph A. Goguen
    Pages 1-24
  3. Françoise Debart, Patrice Enjalbert, Madeleine Lescot
    Pages 55-69
  4. Zhenyu Qian
    Pages 86-100
  5. Francois Bronsard, Uday S. Reddy
    Pages 101-116
  6. Tien Huynh, Catherine Lassez, Jean-Louis Lassez
    Pages 117-131
  7. Aïda Batarekh
    Pages 132-143
  8. Yuli Zhou, Robert Muller
    Pages 144-157
  9. Phan Minh Dung
    Pages 158-172
  10. H. Simonis, M. Dincbas
    Pages 189-203
  11. Maurizio Gabbrielli, Giorgio Levi
    Pages 204-216
  12. Kanchana Kanchanasut, Peter Stuckey
    Pages 217-231

Other volumes

  1. International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
  2. Algebraic and Logic Programming
    Second International Conference Nancy, France, October 1–3, 1990 Proceedings

About these proceedings

Keywords

Processing algorithms calculus complexity logic optimization programming proving semantics

Bibliographic information

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