Advertisement

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
  14. U. Goltz, W. Reisig
    Pages 264-277
  15. Joseph Halpern, Zohar Manna, Ben Moszkowski
    Pages 278-291
  16. Susanne E. Hambrusch, Janos Simon
    Pages 292-303
  17. J. Hartmanis, Y. Yesha
    Pages 319-330
  18. Jieh Hsiang, Nachum Dershowitz
    Pages 331-346
  19. K. Indermark
    Pages 347-360
  20. Jean -Pierre Jouannaud, Claude Kirchner, Helene Kirchner
    Pages 361-373
  21. Tsutomu Kamimura
    Pages 374-384
  22. T. Kamimura, A. Tang
    Pages 385-396
  23. Hans -Werner Lang, Manfred Schimmler, Hartmut Schmeck, Heiko Schröder
    Pages 408-419
  24. M. Latteux, J. Leguy
    Pages 420-432
  25. Evelyne Le Rest, Stuart W. Margolis
    Pages 433-444
  26. Daniel Lehmann, Saharon Shelah
    Pages 445-457
  27. A. K. Lenstra
    Pages 458-465
  28. F. S. Makedon, I. H. Sudborough
    Pages 478-490
  29. Zohar Manna, Amir Pnueli
    Pages 491-512
  30. J. Ian Munro, Patricio V. Poblete
    Pages 527-535
  31. A. Mycroft, F. Nielson
    Pages 536-547
  32. R. de Nicola, M. C. B. Hennessy
    Pages 548-560
  33. E. -R. Olderog, C. A. R. Hoare
    Pages 561-572
  34. W. Paul, U. Vishkin, H. Wagener
    Pages 597-609
  35. Dominique Perrin
    Pages 610-616

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
Biotechnology
Electronics
IT & Software
Telecommunications