Table of contents

  1. Front Matter
  2. Egidio Astesiano, Gerardo Costa
    Pages 1-15
  3. A. Bertoni, G. Mauri, P. A. Miglioli
    Pages 26-37
  4. Ronald V. Book, Franz-Josef Brandenburg
    Pages 49-57
  5. B. v. Braunmühl, E. Hotzel
    Pages 58-72
  6. M. Broy, W. Dosch, H. Partsch, P. Pepper, M. Wirsing
    Pages 73-87
  7. Beate Commentz-Walter
    Pages 118-132
  8. M. Coppo, M. Dezani-Ciancaglini, P. Salle'
    Pages 133-146
  9. Armin B. Cremers, Thomas N. Hibbard
    Pages 147-160
  10. Piotr Dembiński, Jan Małuszyński
    Pages 171-187
  11. Nachum Dershowitz, Zohar Manna
    Pages 188-202
  12. Arthur G. Duncan, Lawrence Yelowitz
    Pages 218-229
  13. Dietmar Friede
    Pages 245-255

About these proceedings

Keywords

Automata Informatik Language Text algorithms calculus complexity formal language logic programming

Bibliographic information

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