On minimal realizations of behavior maps in categorial automata theory
Trnková, Věra
Commentationes Mathematicae Universitatis Carolinae, Tome 015 (1974), p. 555-566 / Harvested from Czech Digital Mathematics Library
Publié le : 1974-01-01
Classification:  00A05,  18B20,  18C15,  68Q45
@article{105577,
     author = {V\v era Trnkov\'a},
     title = {On minimal realizations of behavior maps in categorial automata theory},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {015},
     year = {1974},
     pages = {555-566},
     zbl = {0296.18003},
     mrnumber = {0352205},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105577}
}
Trnková, Věra. On minimal realizations of behavior maps in categorial automata theory. Commentationes Mathematicae Universitatis Carolinae, Tome 015 (1974) pp. 555-566. http://gdmltest.u-ga.fr/item/105577/

J. Adámek V. Koubek V. Pohlová The colimits in the generalized algebraic categories, Acta Univ. Carolinae 13 (1972), 29-40. (1972) | MR 0390010

A. Arbib E. G. Manes Basic concepts of category theory applicable to computation and control, Category Theory applied to Computation and Control, Proceedings of the First International Symposium, Amherst, Massachusetts 1974, 2-41. (1974)

A. Arbib E. G. Manes A categorist's view of automata and systems, Category Theory applied to Computation and Control, Proceedings of the First International Symposium, Amherst, Massachussetts 1974, 62-78. (1974)

V. Koubek Set functors, Comment. Math. Univ. Carolinae 12 (1971), 175-195. (1971) | MR 0286860 | Zbl 0217.06803

T. Kurková; Pohlová V. Koubek When a generalized algebraic category is monadic, Comment. Math. Univ. Carolinae, to appear. | MR 0335595

S. Maclane Categories for the Working Mathematician, New York - Heidelberg - Berlin 1971. (1971) | MR 0354798

P. Pták On equalizers in generalized algebraic categories, Comment. Math. Univ. Garolinae 13 (1972), 351- 357. (1972) | MR 0302732

V. Trnková P. Goralčík On products in generalized algebraic categories, Comment. Math. Univ. Carolinae 10 (1969), 49-89. (1969) | MR 0246932