Table of contents

  1. Front Matter
  2. J. W. de Bakker, J. A. Bergstra, J. W. Klop, J. -J. Ch. Meyer
    Pages 39-51
  3. J. W. de Bakker, J. I. Zucker
    Pages 52-66
  4. P. De Bra, J. Paredaens
    Pages 67-82
  5. Stephen D. Brookes
    Pages 83-96
  6. Stephen D. Brookes, William C. Rounds
    Pages 97-108
  7. Ashok K. Chandra, Steven Fortune, Richard Lipton
    Pages 109-117
  8. Christian Choffrut, Juhani Karhumaki
    Pages 118-127
  9. Karel Culik II, Arto Salomaa
    Pages 137-146
  10. Ph. Darondeau, L. Kott
    Pages 147-159
  11. M. P. Delest, G. Viennot
    Pages 173-181
  12. Herbert Edelsbrunner, Emmerich Welzl
    Pages 182-187
  13. H. Ehrig, E. G. Wagner, J. W. Thatcher
    Pages 188-202

About these proceedings

Keywords

Monoid algorithms automata complexity constant data structure distributed systems grammars hardware logic network parallelism programming semantics theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0036892
  • Copyright Information Springer-Verlag 1983
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-12317-0
  • Online ISBN 978-3-540-40038-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book