@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