Advertisement

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
  15. Venelin K. Evtimov
    Pages 212-218
  16. Ferenc Gécseg
    Pages 226-230
  17. Hartmann J. Genrich
    Pages 231-237
  18. Giuseppina Gini, Maria Gini
    Pages 238-245
  19. Klaus Indermark
    Pages 266-270
  20. Max I. Kanovič
    Pages 271-272
  21. Václav Koubek, Jan Reiterman
    Pages 280-286
  22. Fred Kröger
    Pages 287-293
  23. Jan Małuszyński
    Pages 302-307
  24. Kurt Mehlhorn, Zvi Galil
    Pages 315-319
  25. Peter A. Ng, Pei Hsia, Raymond T. Yeh
    Pages 330-336
  26. Alica Pirická-Kelemenová
    Pages 344-350
  27. Václav Rajlich
    Pages 362-376
  28. Willem P. de Roever
    Pages 377-398
  29. Peter Ružička
    Pages 399-404
  30. Dan A. Simovici
    Pages 405-410
  31. Mark B. Trakhtenbrot
    Pages 411-417

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