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
  16. P. Venugopalan
    Pages 342-356
  17. Maria Zamfir, David Martin
    Pages 357-394
  18. Back Matter

About these proceedings

Keywords

Finite algebra geometry process algebra programming programming semantics proof semantics

Bibliographic information

  • 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
  • Print ISBN 978-3-540-16816-4
  • Online ISBN 978-3-540-44861-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site