Category Theory Applied to Computation and Control

Keyphrases

Publications

volume 25, 1975

Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings Category Theory Applied to Computation and Control 25 (1975)

1974

Hartmut Ehrig, Hans-Jörg Kreowski
Power and initial automata in pseudoclosed categories. Category Theory Applied to Computation and Control (1974)
Jorma Rissanen, Bostwick F. Wyman
Duals of input/output maps. Category Theory Applied to Computation and Control (1974)
Michael A. Arbib, Ernest G. Manes
Fuzzy morphism in automata theory. Category Theory Applied to Computation and Control (1974)
Michael A. Arbib, Ernest G. Manes
Time-varying systems. Category Theory Applied to Computation and Control (1974)
David B. Benson
An abstract machine theory for formal language parsers. Category Theory Applied to Computation and Control (1974)
E. S. Bainbridge
Adressed machines and duality. Category Theory Applied to Computation and Control (1974)
Suad Alagic
Categorical theory of tree processing. Category Theory Applied to Computation and Control (1974)
Michael A. Arbib, Ernest G. Manes
A categorist's view of automata and systems. Category Theory Applied to Computation and Control (1974)
Brian D. O. Anderson
A control theorist looks at abstract nonsense. Category Theory Applied to Computation and Control (1974)
Lothar Budach
Automata in additive categories with applications to stochastic linear automata. Category Theory Applied to Computation and Control (1974)
José Meseguer, Ignacio Sols
Automata in semimodule categories. Category Theory Applied to Computation and Control (1974)
Brian D. O. Anderson, Michael A. Arbib, Ernest G. Manes
Realization of multilinear and multidcomposable machines. Category Theory Applied to Computation and Control (1974)
Günter Hotz
Strukturelle Verwandtschaften von semi-Thue-Systemen. Category Theory Applied to Computation and Control (1974)
Mitchell Wand
On the recursive specification of data types. Category Theory Applied to Computation and Control (1974)
Rod M. Burstall, James W. Thatcher
The algebraic theory of recursive program schemes. Category Theory Applied to Computation and Control (1974)
Hartmut Ehrig, Wolfgang Kühnel, Michael Pfender
Diagram characterization. Category Theory Applied to Computation and Control (1974)
E. Turan Onat, James Geary
Representation of a class of nonlinear systems. Category Theory Applied to Computation and Control (1974)
Edward W. Kamen
Control of linear continuous-time systems defined over rings of distributions. Category Theory Applied to Computation and Control (1974)
Wolfgang Merzenich
Cellular automata with additive local transition. Category Theory Applied to Computation and Control (1974)
Mitchell Wand
An algebraic formulation of the Chomsky hierarchy. Category Theory Applied to Computation and Control (1974)
Roger W. Brockett, Alan S. Willsky
Some structural properties of automata defined on groups. Category Theory Applied to Computation and Control (1974)
F. Joanne Helton, J. William Helton
Scattering theory and non linear systems. Category Theory Applied to Computation and Control (1974)
Joseph A. Goguen
Semantics of computation. Category Theory Applied to Computation and Control (1974)
Michael A. Arbib, Ernest G. Manes
Basic concepts of category theory applicable to computation and control. Category Theory Applied to Computation and Control (1974)
A. Wayne Wymore
The tricotyledon theory of system design. Category Theory Applied to Computation and Control (1974)
John L. Baker
Factorization of Scott-style automata. Category Theory Applied to Computation and Control (1974)
Lee A. Carlson
Realization is continuously universal. Category Theory Applied to Computation and Control (1974)
Bostwick F. Wyman
Linear Systems over rings of operators. Category Theory Applied to Computation and Control (1974)
Hans-Jürgen Hoehnke
Synthesis and complexity of logical systems. Category Theory Applied to Computation and Control (1974)