Advertisement

Table of contents

  1. Front Matter
  2. W. Ainhirn
    Pages 1-11
  3. J. Albert, L. Wegner
    Pages 19-29
  4. Egidio Astesiano, Gerardo Costa
    Pages 38-50
  5. Ralph-Johan Back
    Pages 51-63
  6. Ronald I. Becker, Yehoshua Perl, Stephen R. Schach
    Pages 64-75
  7. Piotr Berman
    Pages 91-97
  8. Patrick Cousot, Radhia Cousot
    Pages 119-133
  9. A. Ehrenfeucht, G. Rozenberg
    Pages 134-141
  10. Hartmut Ehrig, Hans-Jörg Kreowski, James Thatcher, Eric Wagner, Jesse Wright
    Pages 157-168
  11. E. Allen Emerson, Edmund M. Clarke
    Pages 169-181
  12. S. Even, Y. Yacobi
    Pages 195-207
  13. Philippe Flajolet, Jean-Marc Steyaert
    Pages 208-219
  14. Greg N. Frederickson, Donald B. Johnson
    Pages 221-233
  15. H. J. Genrich, P. S. Thiagarajan
    Pages 257-272
  16. A. Goralčíková, P. Goralčík, V. Koubek
    Pages 273-281
  17. Jim Gray
    Pages 282-298
  18. Matthew Hennessy, Robin Milner
    Pages 299-309
  19. Günter Hornung, Peter Raulefs
    Pages 310-323
  20. Thiet-Dung Huynh
    Pages 324-337
  21. J. R. Kennaway, C. A. R. Hoare
    Pages 338-350
  22. Harry R. Lewis, Christos H. Papadimitriou
    Pages 374-384
  23. Aldo de Luca, Antonio Restivo
    Pages 385-393
  24. Mila E. Majster-Cederbaum
    Pages 394-408
  25. Erik Meineche Schmidt
    Pages 436-448
  26. Christos H. Papadimitriou, Jon Louis Bentley
    Pages 470-482
  27. Jean-Eric Pin
    Pages 483-499
  28. J. C. Raoult, J. Vuillemin
    Pages 512-530
  29. Arto Salomaa
    Pages 543-554
  30. Peter Schlichtiger
    Pages 555-568
  31. Jeanette Schmidt, Eli Shamir
    Pages 569-581
  32. Seppo Sippu, Eljas Soisalon-Soininen
    Pages 596-608
  33. M. B. Smyth
    Pages 609-620

About these proceedings

Keywords

Automata Informatik Languages Programming Turing algorithms complexity derivation hash table programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-10003-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1980
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10003-4
  • Online ISBN 978-3-540-39346-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site