Advertisement

Table of contents

  1. Front Matter
  2. R. J. R. Back, H. Mannila
    Pages 1-13
  3. Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn
    Pages 48-60
  4. A. Bertoni, G. Mauri, N. Sabadini
    Pages 61-71
  5. Franz-Josef Brandenburg
    Pages 83-93
  6. Luoa Cardelli
    Pages 94-106
  7. John Case, Christopher Lynes
    Pages 107-115
  8. G. Comyn, M. Dauchet
    Pages 116-127
  9. Karel Culik II, Juhani Karhumäki
    Pages 128-140
  10. Werner Damm, Andreas Goerdt
    Pages 141-153
  11. David P. Dobkin, David G. Kirkpatrick
    Pages 154-165
  12. Pavol Ďuriš, Juraj Hromkovič
    Pages 176-186
  13. A. Ehrenfeucht, D. Haussler, G. Rozenberg
    Pages 187-191
  14. A. Ehrenfeucht, G. Rozenberg
    Pages 192-196
  15. A. A. Faustini
    Pages 212-224
  16. C. Fernández, P. S. Thiagarajan
    Pages 225-238
  17. Gaston H. Gonnet, J. Ian Munro
    Pages 282-291
  18. A. Goralčíková, P. Goralčík, V. Koubek
    Pages 292-299
  19. David Harel, Dexter Kozen
    Pages 313-329
  20. Juhani Karhumäki
    Pages 339-347
  21. Dexter Kozen
    Pages 348-359
  22. Yael Krevner, Amiram Yehudai
    Pages 360-368
  23. Andrzej Lingas
    Pages 369-383
  24. D. Perrin
    Pages 397-406
  25. Nicholas Pippenger
    Pages 407-417
  26. G. D. Plotkin
    Pages 418-428
  27. Jean -Claude Raoult, Ravi Sethi
    Pages 429-441
  28. Christophe Reutenauer
    Pages 451-457
  29. Andrzej Salwicki
    Pages 458-472
  30. Donald Sannella, Martin Wirsing
    Pages 473-488
  31. Alan L. Selman, Yacov Yacobi
    Pages 502-509
  32. R. D. Tennent
    Pages 532-545
  33. Paul M. B. Vitártyi
    Pages 546-560

About these proceedings

Keywords

Approximation Notation algebra algorithms automata complexity forcing grammar homomorphism logic programming programming language proof semantics term rewriting

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0012751
  • Copyright Information Springer-Verlag Berlin Heidelberg 1982
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11576-2
  • Online ISBN 978-3-540-39308-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site