Advertisement

Table of contents

  1. Front Matter
  2. Jiří Adámek, Horst Herrlich
    Pages 20-41
  3. H. Bargenda, H. Herrlich, G. E. Strecker
    Pages 42-52
  4. David B. Benson, Jerzy Tiuryn
    Pages 53-58
  5. Carl A. Gunter
    Pages 101-121
  6. Horst Herrlich, Miroslav Hušek
    Pages 122-134
  7. Tsutomu Kamimura, Adrian Tang
    Pages 135-148
  8. Jürgen Koslowski
    Pages 149-161
  9. Michael G. Main
    Pages 162-183
  10. Ernest G. Manes
    Pages 184-195
  11. Austin C. Melton, David A. Schmidt
    Pages 196-204
  12. Naphtali Rishe
    Pages 249-274
  13. Naphtali Rishe
    Pages 275-295
  14. Jonathan D. H. Smith
    Pages 308-323
  15. Teresa A. Thomas, Donald F. Stanat
    Pages 324-341

About these proceedings

Keywords

Finite algebra geometry process algebra programming programming semantics proof semantics

Bibliographic information

  • Book Title Mathematical Foundations of Programming Semantics
  • Book Subtitle International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings
  • Editors Austin Melton
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI https://doi.org/10.1007/3-540-16816-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-16816-4
  • eBook ISBN 978-3-540-44861-7
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages VIII, 400
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Logics and Meanings of Programs
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Aerospace
Engineering