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

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 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
  • About this book
Industry Sectors
Electronics
Telecommunications
Energy, Utilities & Environment
Biotechnology