Advertisement

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
  14. Jonathan Goldstine
    Pages 271-281
  15. Tsutomu Kamimura, Giora Slutzki
    Pages 331-337
  16. Wolfgang Kowalk, Rüdiger Valk
    Pages 356-369
  17. Werner Kuich, Helmut Prodinger, Friedrich J. Urbanek
    Pages 370-384
  18. Zohar Manna, Amir Pnueli
    Pages 385-409
  19. Friedhelm Meyer auf der Heide
    Pages 411-421
  20. D. R. Milton, C. N. Fischer
    Pages 422-430
  21. Christos H. Papadimitriou, Mihalis Yannakakis
    Pages 460-470
  22. G. Rozenberg, D. Vermeir
    Pages 479-488
  23. John E. Savage, Sowmitri Swamy
    Pages 498-504
  24. Arnold Schönhage
    Pages 520-529
  25. Richard L. Schwartz
    Pages 530-545
  26. Ravi Sethi, Adrian Tang
    Pages 556-570
  27. M. W. Shields, P. E. Lauer
    Pages 571-584
  28. Seppo Sippu, Eljas Soisalon-Soininen
    Pages 585-595
  29. James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Pages 596-615

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 Berlin Heidelberg 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
  • Buy this book on publisher's site