Table of contents

  1. Front Matter
  2. Rūsiņš Freivalds
    Pages 33-45
  3. B. Korte, R. Schrader
    Pages 61-77
  4. Burkhard Monien, Ivan Hal Sudborough
    Pages 78-93
  5. Anton Nijholt
    Pages 103-120
  6. Jan van Leeuwen, Mark H. Overmars
    Pages 121-131
  7. Rüdiger Valk
    Pages 140-155
  8. Helmut Alt, Kurt Mehlhorn, J. Ian Munro
    Pages 156-161
  9. H. Andréka, I. Németi, I. Sain
    Pages 162-171
  10. Egidio Astesiano, Elena Zucca
    Pages 172-182
  11. J. Beauquier, J. Berstel
    Pages 183-192
  12. J. A. Bergstra, M. Broy, J. V. Tucker, M. Wirsing
    Pages 193-204
  13. R. Book, M. Jantzen, B. Monien, C. Ó'Dúnlaing, C. Wrathall
    Pages 216-223

About these proceedings

Keywords

Informatik Monoid algorithm algorithms automata calculus combinatorial optimization complexity computer science data structure data structures logic optimization petri net semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-10856-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10856-6
  • Online ISBN 978-3-540-38769-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology
IT & Software