Table of contents

  1. Front Matter
  2. J. M. Barzdin, J. J. Bičevskis, A. A. Kalninsh
    Pages 1-12
  3. Peter van Emde Boas
    Pages 13-29
  4. Petr Hájek
    Pages 30-45
  5. Michael A. Harrison
    Pages 46-60
  6. Jaroslav Král, Jiří Demner
    Pages 61-74
  7. Antoni Mazurkiewicz
    Pages 75-87
  8. Miroslav Novotný
    Pages 88-100
  9. B. A. Trakhtenbrot
    Pages 125-137
  10. Věra Trnková
    Pages 138-152
  11. A. V. Anisimov
    Pages 167-171
  12. Giorgio Ausiello, Marco Protasi
    Pages 172-178
  13. M. Benešová, I. Korec
    Pages 179-185
  14. Eike Best, Hans Albrecht Schmid
    Pages 186-193

About these proceedings

Keywords

Boolean function Monoid Semiotik algorithms automata complexity derivation formal grammar formal language formal languages grammars logic petri net regular expressions semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-07389-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1975
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-07389-5
  • Online ISBN 978-3-540-37585-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book