Advertisement

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
  13. Berthold Hoffmann, Ilse -R. Schmiedecke
    Pages 275-290
  14. Ulrich L. Hupbach
    Pages 291-304
  15. Ryszard Janicki
    Pages 320-333
  16. D. Janssens, G. Rozenberg
    Pages 334-347
  17. Norbert Kraft, Horst Wedde
    Pages 375-386
  18. Y. S. Kwong, D. Wood
    Pages 402-413
  19. Burkhard Monien
    Pages 414-425
  20. Seiichi Okoma
    Pages 439-451
  21. Wolfgang Reisig
    Pages 515-527
  22. Jan Reiterman, Věra Trnková
    Pages 528-538
  23. V. Yu. Sazonov
    Pages 562-575
  24. M. W. Shields, P. E. Lauer
    Pages 576-586
  25. Joseph Sifakis
    Pages 587-600
  26. Zbigniew Suraj
    Pages 627-642

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 Berlin Heidelberg 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
  • Buy this book on publisher's site