Advertisement

Table of contents

  1. Front Matter
  2. E. Engeler
    Pages 52-58
  3. A. P. Ershov, V. E. Itkin
    Pages 59-77
  4. Ferenc Gécseg, Péter E.-Tóth
    Pages 78-92
  5. H. A. Maurer, Th. Ottmann
    Pages 108-121
  6. Andrzej Salwicki
    Pages 122-134
  7. B. A. Trakhtenbrot
    Pages 148-161
  8. Leslie G. Valiant
    Pages 162-176
  9. J. B. Wright, E. G. Wagner, J. W. Thatcher
    Pages 192-212
  10. V. N. Agafonov
    Pages 213-221
  11. Giorgio Ausiello, Alessandro D'Atri, Marco Gaudiano, Marco Protasi
    Pages 222-230
  12. A. Bertoni, G. Mauri, M. Torelli
    Pages 253-262
  13. Friedrich W. von Henke
    Pages 288-296
  14. V. N. Kasyanov, S. B. Pokrovsky
    Pages 315-323
  15. Manfred Kudlek, Miroslav Novotný
    Pages 350-358
  16. L. A. Levin, V. V. V jugin
    Pages 359-364
  17. Witold Lipski Jr.
    Pages 374-381
  18. Aldo De Luca, Settimo Termini
    Pages 382-389
  19. R. Meersman, G. Rozenberg
    Pages 390-397
  20. P. A. Miglioli, M. Ornaghi
    Pages 398-409
  21. Peter A. Ng, Sung Y. Bang
    Pages 410-419
  22. Anton Nijholt
    Pages 420-429
  23. F. P. Preparata
    Pages 443-450
  24. G. Rozenberg, D. Vermeir
    Pages 460-464
  25. Peter Ružička, Juraj Wiedermann
    Pages 465-474
  26. Stefan Sokołowski
    Pages 475-483

About these proceedings

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-08353-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1977
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-08353-5
  • Online ISBN 978-3-540-37285-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications