Advertisement

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

Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Engineering
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace