Advertisement

Table of contents

  1. Front Matter
  2. K. R. Apt, J. W. de Bakker
    Pages 1-11
  3. Wilfried Brauer
    Pages 12-22
  4. Edsger W. Dijkstra
    Pages 39-51
  5. Ivan M. Havel
    Pages 81-98
  6. N. M. Nagorny
    Pages 99-104
  7. Miroslav Novotný
    Pages 105-114
  8. Arto Salomaa
    Pages 115-123
  9. Peter H. Starke
    Pages 124-136
  10. B. A. Trakhtenbrot
    Pages 137-152
  11. E. G. Wagner, J. B. Wright, J. A. Goguen, J. W. Thatcher
    Pages 153-168
  12. V. N. Agafonov
    Pages 169-172
  13. L. Aiello, M. Aiello, G. Attardi, P. Cavallari, G. Prini
    Pages 173-179
  14. E. S. Bainbridge
    Pages 180-186
  15. Václav Benda, Kamila Bendová
    Pages 187-193
  16. Eberhard Bergmann
    Pages 194-201
  17. G. Berthelot, G. Roucairol
    Pages 202-209
  18. Jürgen Brunner, Wolfgang Wechler
    Pages 210-215
  19. Marco Colombetti, Enrico Pagello
    Pages 237-243
  20. Armin Cremers, Thomas N. Hibbard
    Pages 250-254
  21. Hartmut Ehrig, Hans-Jörg Kreowski
    Pages 284-293
  22. Seymour Ginsburg, Otto Mayer
    Pages 294-298
  23. Irina Gorun
    Pages 299-303
  24. Janusz Górski
    Pages 304-310
  25. I. Hansen, J. Leszczyłowski
    Pages 317-322
  26. Klaus Indermark
    Pages 352-358
  27. Romuald Jagielski
    Pages 372-376
  28. Ryszard Janicki
    Pages 377-384

About these proceedings

Keywords

Computer Informatik Processing Text algorithms automata calculus complexity computer science formal language optimization programming programming language verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-07854-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1976
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-07854-8
  • Online ISBN 978-3-540-38169-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site