Table of contents

  1. Front Matter
  2. Erwin Engeler
    Pages 17-28
  3. M. I. Schwartzman
    Pages 29-55
  4. Michael S. Paterson
    Pages 85-85
  5. R. I. Podlovchenko
    Pages 86-110
  6. A. A. Letichevsky
    Pages 111-123
  7. B. A. Trachtenbrot
    Pages 144-151
  8. J. B. Dennis, J. B. Fosseen, J. P. Linderman
    Pages 187-216
  9. A. Bährs
    Pages 217-246
  10. Raymond E. Miller, John Cocke
    Pages 285-298

About these proceedings

Keywords

Programmierung (EDV) Programming algorithms logic semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-06720-5
  • Copyright Information Springer-Verlag 1974
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-06720-7
  • Online ISBN 978-3-540-38012-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book