@article{105691, author = {V\'aclav Benda and Kamila Bendov\'a}, title = {Recognizable filters and ideals}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {017}, year = {1976}, pages = {251-259}, zbl = {0334.02020}, mrnumber = {0411246}, language = {en}, url = {http://dml.mathdoc.fr/item/105691} }
Benda, Václav; Bendová, Kamila. Recognizable filters and ideals. Commentationes Mathematicae Universitatis Carolinae, Tome 017 (1976) pp. 251-259. http://gdmltest.u-ga.fr/item/105691/
Finite Branching Automata, Kybernetika 10 (1974), 281-302. (1974) | MR 0381383 | Zbl 0287.94050
On Families Recognizable by Finite Branching Automata, (in preparation).
O základech matematického vyjadřování plánu, Mimeographed report, Faculty of Mathematics and Physics, Charles University, 1974. (1974)
Algebraičeskije sistemy, Nauka, Moscow 1970. (1970) | MR 0282908
Automata, Languages and Machines, Vol. A, Academic Press, New York 1974. (1974) | MR 0530382 | Zbl 0317.94045
The Theory of Semisets, Academia, Prague and North-Holland, Amsterdam, 1972. (1972) | MR 0444473