Advertisement

Table of contents

  1. Front Matter
  2. Katsumi Tanaka, Chung Le Viet, Yahiko Kambayashi, Shuzo Yajima
    Pages 193-227
  3. Andrzej Blikle
    Pages 228-251
  4. Ingrid Glasner, Jacques Loeckx
    Pages 252-281
  5. Kazuhide Sugawara, Hiroshi Kawaguchi, Teruyasu Nishizawa
    Pages 282-301
  6. Dines Bjørner
    Pages 326-359
  7. M. Paul, U. Güntzer
    Pages 360-383
  8. E. R. Anderson, F. C. Belz, E. K. Blum
    Pages 384-424
  9. Robert Cartwright, John McCarthy
    Pages 576-629

About these proceedings

Keywords

Information Processing Programmierung (EDV) calculus data structures database formal specification organization programming programming language

Bibliographic information

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