Advertisement

Category Theory Applied to Computation and Control

Proceedings of the First International Symposium San Francisco, February 25–26, 1974

  • Editors
  • Ernest Gene Manes
Conference proceedings

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

Table of contents

  1. Front Matter
  2. B. D. O. Anderson
    Pages 35-50
  3. M. A. Arbib, E. G. Manes
    Pages 51-64
  4. Suad Alagić
    Pages 65-72
  5. Brian D. O. Anderson, Michael A. Arbib, Ernest G. Manes
    Pages 73-79
  6. M. A. Arbib, E. G. Manes
    Pages 80-86
  7. Michael A. Arbib, Ernest G. Manes
    Pages 87-92
  8. E. S. Bainbridge
    Pages 93-98
  9. John L. Baker
    Pages 99-105
  10. Roger W. Brockett, Alan S. Willsky
    Pages 112-118
  11. R. M. Burstall, J. W. Thatcher
    Pages 126-131
  12. Lee A. Carlson
    Pages 132-136
  13. Hartmut Ehrig, Wolfgang Kühnel, Michael Pfender
    Pages 137-143
  14. Hartmut Ehrig, Hans-Jörg Kreowski
    Pages 144-150
  15. J. A. Goguen
    Pages 151-163
  16. F. Joanne Helton, J. William Helton
    Pages 164-169
  17. Hans-Jürgen Hoehnke
    Pages 170-173
  18. Wolfgang Merzenich
    Pages 186-192
  19. José Meseguer, Ignacio Sols
    Pages 193-198
  20. E. Turan Onat, James Geary
    Pages 199-203
  21. J. Rissanen, B. Wyman
    Pages 204-208
  22. Mitchell Wand
    Pages 214-217
  23. B. F. Wyman
    Pages 218-223
  24. A. Wayne Wymore
    Pages 224-230
  25. Back Matter

About these proceedings

Keywords

Automatentheorie Category Category theory Kategorie (Math.) Kontrolle (Math.) automata automata theory complexity formal language nonlinear system

Bibliographic information

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