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

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 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
  • About this book