Table of contents

  1. Front Matter
  2. Dines Bjørner
    Pages 1-21
  3. R. M. Burstall
    Pages 22-39
  4. J. Hartmanis, S. R. Mahaney
    Pages 40-57
  5. G. Ausiello, C. Batini, M. Moscarini
    Pages 123-136
  6. X. Berenguer, J. Diaz
    Pages 137-141
  7. J. Dean Brock
    Pages 168-180
  8. Luca Cardelli
    Pages 181-193
  9. P. Degano, A. Lomanto, F. Sirovich
    Pages 219-230
  10. H. Ehrig, H. -J. Kreowski, B. Mahr, P. Padawitz
    Pages 231-245
  11. David Harel
    Pages 246-260
  12. M. C. B. Hennessy, G. D. Plotkin
    Pages 261-274

About these proceedings

Keywords

Informatik Mathematica algorithms complexity concurrency grammars incomplete information logic programming language query language semantics

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0022491
  • Copyright Information Springer-Verlag 1980
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10027-0
  • Online ISBN 978-3-540-38194-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book