Table of contents

  1. Front Matter
  2. Andrzej J. Blikle
    Pages 26-42
  3. Ronald V. Book
    Pages 43-56
  4. Rūsiņš Freivalds
    Pages 57-69
  5. Ivan M. Havel
    Pages 89-107
  6. M. C. B. Hennessy, G. D. Plotkin
    Pages 108-120
  7. Kurt Mehlhorn
    Pages 131-145
  8. Robin Milner
    Pages 146-159
  9. Vaughan R. Pratt
    Pages 160-169
  10. Arto Salomaa
    Pages 170-181
  11. Derick Wood
    Pages 191-200
  12. Akeo Adachi, Takumi Kasai, Etsuro Moriya
    Pages 201-207
  13. H. Andréka, I. Németi, I. Sain
    Pages 208-218
  14. Jean-Michel Autebert
    Pages 219-227
  15. G. Comyn, G. Werner
    Pages 228-236

About these proceedings

Keywords

Approximation Graph Information Turing machine algorithms automata calculus complexity cryptography formal language information theory logic programming language sets verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-09526-8
  • Copyright Information Springer-Verlag 1979
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-09526-2
  • Online ISBN 978-3-540-35088-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book