Table of contents

  1. Front Matter
  2. B. Courcelle, M. Nivat
    Pages 16-30
  3. Brian H. Mayoh
    Pages 56-70
  4. Robin Milner
    Pages 71-83
  5. Eric G. Wagner, James W. Thatcher, Jesse B. Wright
    Pages 84-101
  6. Piotr Dembiński, Jan Małuszyński
    Pages 143-154
  7. Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Josef Winkowski
    Pages 177-190
  8. Nissim Francez, C. A. R. Hoare, Willem P. de Roever
    Pages 191-200
  9. Hartmann J. Genrich, Kurt Lautenbach
    Pages 213-231
  10. Bernhard Goetze, Werner Nehrlich
    Pages 232-238

About these proceedings

Keywords

Computer Datenbank Programmiersprache Programmierung (EDV) Simultanarbeit (EDV) Text algorithms calculus complexity computer science database logic programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-08921-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1978
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-08921-6
  • Online ISBN 978-3-540-35757-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book