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

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 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
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology