Advertisement

Table of contents

  1. Jean -Eric Pin
    Pages 617-628
  2. John Reif, Aravinda Prasad Sistla
    Pages 629-639
  3. Taisuke Sato, Hisao Tamaki
    Pages 640-652
  4. Uwe Schöning, Ronald V. Book
    Pages 653-661
  5. Jeremy Spinrad, Jacobo Valdes
    Pages 676-686
  6. Glynn Winskel
    Pages 695-711
  7. Mihalis Yannakakis, Paris C. Kanellakis, Stavros S. Cosmadakis, Christos H. Papadimitriou
    Pages 712-722
  8. Klaus -Jörn Lange
    Pages 723-733
  9. Pages 734-734

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace