Advertisement

Table of contents

  1. Front Matter
  2. Robert L. Constable
    Pages 1-18
  3. Christos H. Panadimitriou
    Pages 35-47
  4. Gerhard Barth
    Pages 49-59
  5. Eike Best, Agathe Merceron
    Pages 73-83
  6. Ronald V. Book, Timothy J. Long, Alan L. Selman
    Pages 85-90
  7. Andreas Eick, Elfriede Fehr
    Pages 101-110
  8. A. Finkel, G. Memmi
    Pages 111-121
  9. M. Gogolla, K. Drosten, U. Lipeck, H. D. Ehrich
    Pages 141-151
  10. Christoph Kreitz, Klaus Weihrauch
    Pages 165-174
  11. Karl J. Lieberherr, Stephen A. Vavasis
    Pages 187-197
  12. Friedhelm Meyer auf der Heide
    Pages 221-229
  13. A. Kreczmar, T. Müldner
    Pages 231-241
  14. Christos H. Papadimitriou, Stathis K. Zachos
    Pages 269-275
  15. J. -E. Pin, J. Sakarovitch
    Pages 277-288
  16. Wolfgang Thomas
    Pages 335-342
  17. Athanasios K. Tsakalidis
    Pages 343-352
  18. Back Matter

About these proceedings

Keywords

Computer Lisp algorithm algorithms calculus complexity complexity theory computer science semantics theoretical computer science

Bibliographic information

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