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

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 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
  • About this book