|
" Category Theory Applied to Computation and Control : "
by E.G. Manes.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745866
|
| Doc. No
|
:
|
b565815
|
| Main Entry
|
:
|
by E.G. Manes.
|
| Title & Author
|
:
|
Category Theory Applied to Computation and Control : : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974\ by E.G. Manes.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1975
|
| Series Statement
|
:
|
Lecture notes in computer science, 25.
|
| Page. NO
|
:
|
: v.: digital
|
| ISBN
|
:
|
3540071423
|
|
|
:
|
: 3540374264
|
|
|
:
|
: 9783540071426
|
|
|
:
|
: 9783540374268
|
| 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.
|
| Subject
|
:
|
Automates mathématiques, Théorie des -- Congrès.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
K-theory.
|
| LC Classification
|
:
|
QA267.B944 1975
|
| Added Entry
|
:
|
E G Manes
|
| |