Advertisement

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
  11. M. Grabowski, A. Kreczmar
    Pages 239-249
  12. Irène Guessarian
    Pages 257-266
  13. C. J. Hogger
    Pages 267-276
  14. Ryszard Janicki
    Pages 298-307
  15. Előd Knuth
    Pages 315-325
  16. Leon Łukaszewicz
    Pages 333-344
  17. George Markowsky, J. Lawrence Carter, Mark N. Wegman
    Pages 345-354
  18. R. Meersman, G. Rozenberg
    Pages 364-373
  19. O. Nevalainen, M. Jakobsson, R. Berg
    Pages 393-402
  20. Jan Pittl
    Pages 426-435
  21. N. Saheb-Djahromi
    Pages 442-451
  22. Andrzej Salwicki
    Pages 452-461
  23. Michael Schiffers, Horst Wedde
    Pages 462-473
  24. Joseph Sifakis
    Pages 474-483
  25. Peter H. Starke
    Pages 506-515

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