Advertisement

Table of contents

  1. Front Matter
  2. Hong Jia-Wei, Kurt Mehlhorn, Arnold L. Rosenberg
    Pages 41-55
  3. E. Welzl
    Pages 68-72
  4. C. Beeri, M. Y. Vardi
    Pages 73-85
  5. J. A. Makowsky
    Pages 86-97
  6. Micha Sharir
    Pages 98-113
  7. Neil D. Jones
    Pages 114-128
  8. P. A. Subrahmanyam
    Pages 148-164
  9. Jeffrey D. Ullman
    Pages 165-176
  10. Christophe Reutenauer
    Pages 177-183
  11. Joost Engelfriet, Gilberto Filè
    Pages 193-207
  12. Seppo Sippu, Eljas Soisalon-Soininen
    Pages 208-217
  13. Esko Ukkonen
    Pages 218-228
  14. Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska
    Pages 238-248
  15. Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli
    Pages 249-263
  16. D. Lehmann, A. Pnueli, J. Stavi
    Pages 264-277
  17. Aviezri S. Fraenkel, David Lichtenstein
    Pages 278-293
  18. Oscar H. Ibarra, Brian S. Leininger, Shlomo Moran
    Pages 294-304
  19. Meera Blattner, Michel Latteux
    Pages 316-323
  20. Juhani Karhumäki
    Pages 324-332
  21. J. A. Bergstra, J. V. Tucker
    Pages 348-362
  22. Alon Itai, Alan G. Konheim, Michael Rodeh
    Pages 417-431
  23. Nachum Dershowitz
    Pages 448-458
  24. A. Pnueli, R. Zarhi
    Pages 459-478
  25. K. R. Apt, G. D. Plotkin
    Pages 479-494
  26. Eitan M. Gurari, Oscar H. Ibarra
    Pages 495-505
  27. K. N. King
    Pages 506-520
  28. Karl Lieberherr
    Pages 530-543
  29. Back Matter

About these proceedings

Keywords

Datenverarbeitung Formale Sprache Languages Signatur Variable algorithm algorithms automata complexity database logic model theory programming term rewriting verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-10843-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1981
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10843-6
  • Online ISBN 978-3-540-38745-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications