Research Catalog

Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes.

Title
Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes.
Publication
Berlin ; New York : Springer-Verlag, 1975.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Book/TextRequest in advance QA75 .L4 vol.25Off-site

Details

Additional Authors
  • Manes, Ernest G., 1943-
  • American Mathematical Society
  • American Association for the Advancement of Science
  • International Symposium on Category Theory Applied to Computation and Control (1st : 1974 : San Francisco)
Description
x, 245 p.; 25 cm.
Series Statement
Lecture notes in computer science ; 25
Uniform Title
Lecture notes in computer science 25.
Subject
  • Machine theory > Congresses
  • Control theory > Congresses
  • Categories (Mathematics) > Congresses
Genre/Form
Conference papers and proceedings
Note
  • "An A.M.S. symposium within the annual meeting of the American Association for the Advancement of Science."
Bibliography (note)
  • Bibliography: p. [231]-245.
Contents
Basic concepts of category theory applicable to computation and control -- A control theorist looks at abstract nonsense -- A Categorist's view of automata and systems -- Categorical theory of tree processing -- Realization of multilinear and multidecomposable machines -- Fuzzy morphishms in automata theory -- Time-varying systems -- Addressed machines and duality -- Factorization of scott-style automata -- An abstract machine theory for formal language parsers -- Some structural properties of automata defined on groups -- Automata in additive categories with applications to stochastic linear automata -- The algebraic theory of recursive program schemes -- Realization is continuously universal -- Diagram-characterization of recursion -- Power and initial automata in pseudoclosed categories -- Semantics of computation -- Scattering theory and non linear systems -- Synthesis and complexity of logical systems -- Strukturelle verwandtschaften von Semi-Thue-Systemen -- Control of linear continuous-time systems defined over rings of distributions -- Cellular automata with additive local transition -- Automata in semimodule categories -- Representation of a class of nonlinear systems -- Duals of input/output maps -- An algebraic formulation of the Chomsky hierarchy -- On the recursive specification of data types -- Linear systems over rings of operators -- The tricotyledon theory of system design.
ISBN
0387071423
LCCN
^^^74034481^//r85
OCLC
  • 1174720
  • SCSB-10321000
Owning Institutions
Harvard Library