Advertisement

© 1975

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

About these proceedings

Keywords

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

Bibliographic information

  • Book Title Category Theory Applied to Computation and Control
  • Book Subtitle Proceedings of the First International Symposium San Francisco, February 25–26, 1974
  • Editors E.G. Manes
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • 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
  • Softcover ISBN 978-3-540-07142-6
  • eBook ISBN 978-3-540-37426-8
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XII, 248
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Topology
    Computation by Abstract Devices
    K-Theory
  • Buy this book on publisher's site