default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCategory Theory Applied to Computation and Control 1974: San Francisco, CA, USA
- Ernest G. Manes:
Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings. Lecture Notes in Computer Science 25, Springer 1975, ISBN 3-540-07142-3
Introduction
- Michael A. Arbib, Ernest G. Manes:
Basic concepts of category theory applicable to computation and control. 1-34 - Brian D. O. Anderson:
A control theorist looks at abstract nonsense. 35-50 - Michael A. Arbib, Ernest G. Manes:
A categorist's view of automata and systems. 51-64
Submitted Abstracts
- Suad Alagic:
Categorical theory of tree processing. 65-72 - Brian D. O. Anderson, Michael A. Arbib, Ernest G. Manes:
Realization of multilinear and multidcomposable machines. 73-79 - Michael A. Arbib, Ernest G. Manes:
Fuzzy morphism in automata theory. 80-86 - Michael A. Arbib, Ernest G. Manes:
Time-varying systems. 87-92 - E. S. Bainbridge:
Adressed machines and duality. 93-98 - John L. Baker:
Factorization of Scott-style automata. 99-105 - David B. Benson:
An abstract machine theory for formal language parsers. 106-111 - Roger W. Brockett, Alan S. Willsky:
Some structural properties of automata defined on groups. 112-118 - Lothar Budach:
Automata in additive categories with applications to stochastic linear automata. 119-125 - Rod M. Burstall, James W. Thatcher:
The algebraic theory of recursive program schemes. 126-131 - Lee A. Carlson:
Realization is continuously universal. 132-136 - Hartmut Ehrig, Wolfgang Kühnel, Michael Pfender:
Diagram characterization. 137-143 - Hartmut Ehrig, Hans-Jörg Kreowski:
Power and initial automata in pseudoclosed categories. 144-150 - Joseph A. Goguen:
Semantics of computation. 151-163 - F. Joanne Helton, J. William Helton:
Scattering theory and non linear systems. 164-169 - Hans-Jürgen Hoehnke:
Synthesis and complexity of logical systems. 170-173 - Günter Hotz:
Strukturelle Verwandtschaften von semi-Thue-Systemen. 174-179 - Edward W. Kamen:
Control of linear continuous-time systems defined over rings of distributions. 180-185 - Wolfgang Merzenich:
Cellular automata with additive local transition. 186-192 - José Meseguer, Ignacio Sols:
Automata in semimodule categories. 193-198 - E. Turan Onat, James Geary:
Representation of a class of nonlinear systems. 199-203 - Jorma Rissanen, Bostwick F. Wyman:
Duals of input/output maps. 204-208 - Mitchell Wand:
An algebraic formulation of the Chomsky hierarchy. 209-213 - Mitchell Wand:
On the recursive specification of data types. 214-217 - Bostwick F. Wyman:
Linear Systems over rings of operators. 218-223 - A. Wayne Wymore:
The tricotyledon theory of system design. 224-230
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
