عنوان

Category Theory Applied to Computation and Control :

(Number (ISBN

3540071423

(Number (ISBN

3540374264

(Number (ISBN

9783540071426

(Number (ISBN

9783540374268

Number

b565815

Title Proper

Category Theory Applied to Computation and Control :

General Material Designation

[Book]

Other Title Information

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

First Statement of Responsibility

by E.G. Manes.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1975

Specific Material Designation and Extent of Item

: v.: digital

Series Title

Lecture notes in computer science, 25.

Text of Note

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.

Automates mathématiques, Théorie des -- Congrès.

Computer science.

K-theory.

Class number

Book number

by E.G. Manes.

E G Manes

Electronic name

[Book]

Y