Advertisement

Automata, Languages and Programming

Ninth Colloquium Aarhus, Denmark, July 12–16, 1982

  • Editors
  • Mogens Nielsen
  • Erik Meineche Schmidt
Conference proceedings ICALP 1982

Part of the Lecture Notes in Computer Science book series (LNCS, volume 140)

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
Industry Sectors
Electronics
IT & Software
Telecommunications
Engineering