عنوان

Category Theory Applied to Computation and Control :

شابک

3540071423

شابک

3540374264

شابک

9783540071426

شابک

9783540374268

شماره

b565815

عنوان اصلي

Category Theory Applied to Computation and Control :

نام عام مواد

[Book]

ساير اطلاعات عنواني

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

نام نخستين پديدآور

by E.G. Manes.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1975

نام خاص و کميت اثر

: v.: digital

عنوان فروست

Lecture notes in computer science, 25.

متن يادداشت

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.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

by E.G. Manes.

مستند نام اشخاص تاييد نشده

E G Manes

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y