Skip to main content
SpringerLink
Log in

Category Theory Applied to Computation and Control

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

  • Conference proceedings
  • © 1975

Overview

Editors:
  1. Ernest Gene Manes
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Download chapter PDF

  2. Basic concepts of category theory applicable to computation and control

    • M. A. Arbib, E. G. Manes
    Pages 1-34

  3. A control theorist looks at abstract nonsense

    • B. D. O. Anderson
    Pages 35-50

  4. A Categorist's view of automata and systems

    • M. A. Arbib, E. G. Manes
    Pages 51-64

  5. Categorical theory of tree processing

    • Suad Alagić
    Pages 65-72

  6. Realization of multilinear and multidecomposable machines

    • Brian D. O. Anderson, Michael A. Arbib, Ernest G. Manes
    Pages 73-79

  7. Fuzzy morphishms in automata theory

    • M. A. Arbib, E. G. Manes
    Pages 80-86

  8. Time-varying systems

    • Michael A. Arbib, Ernest G. Manes
    Pages 87-92

  9. Addressed machines and duality

    • E. S. Bainbridge
    Pages 93-98

  10. Factorization of scott-style automata

    • John L. Baker
    Pages 99-105

  11. An abstract machine theory for formal language parsers

    • David B. Benson
    Pages 106-111

  12. Some structural properties of automata defined on groups

    • Roger W. Brockett, Alan S. Willsky
    Pages 112-118

  13. Automata in additive categories with applications to stochastic linear automata

    • L. Budach
    Pages 119-125

  14. The algebraic theory of recursive program schemes

    • R. M. Burstall, J. W. Thatcher
    Pages 126-131

  15. Realization is continuously universal

    • Lee A. Carlson
    Pages 132-136

  16. Diagram-characterization of recursion

    • Hartmut Ehrig, Wolfgang Kühnel, Michael Pfender
    Pages 137-143

  17. Power and initial automata in pseudoclosed categories

    • Hartmut Ehrig, Hans-Jörg Kreowski
    Pages 144-150

  18. Semantics of computation

    • J. A. Goguen
    Pages 151-163

  19. Scattering theory and non linear systems

    • F. Joanne Helton, J. William Helton
    Pages 164-169

  20. Synthesis and complexity of logical systems

    • Hans-Jürgen Hoehnke
    Pages 170-173
Back to top

Keywords

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: Ernest Gene Manes

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-07142-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1975

  • Softcover ISBN: 978-3-540-07142-6Published: 25 February 1975

  • eBook ISBN: 978-3-540-37426-8Published: 20 January 2006

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 248

  • Topics: Topology, Computation by Abstract Devices, K-Theory

Publish with us

Policies and ethics

Back to top

Search

Navigation