| 2007 |
|---|
| 20 | EE | Vera Trnková:
Metrizability and Coconnectedness.
Applied Categorical Structures 15(5-6): 621-631 (2007) |
| 2004 |
|---|
| 19 | EE | Vera Trnková:
Counting Cocomponents of a Topological Space.
Applied Categorical Structures 12(4): 379-396 (2004) |
| 2000 |
|---|
| 18 | EE | A. Tozzi,
Vera Trnková:
Clone Segments of the Tychonoff Modification of Space.
Applied Categorical Structures 8(1-2): 327-337 (2000) |
| 17 | EE | Vera Trnková:
Spaces without Nonconstant Maps into Y.
Applied Categorical Structures 8(3): 407-424 (2000) |
| 1999 |
|---|
| 16 | | Vera Trnková,
Jiri Velebil:
On categories generalizing universal domains.
Mathematical Structures in Computer Science 9(2): 159-175 (1999) |
| 1992 |
|---|
| 15 | EE | Vera Trnková:
Endomorphisms of undirected modifications of directed graphs.
Discrete Mathematics 108(1-3): 203-209 (1992) |
| 1988 |
|---|
| 14 | | Ludek Kucera,
Vera Trnková:
Isomorphism Testing of Unary Algebras.
SIAM J. Comput. 17(4): 673-686 (1988) |
| 1987 |
|---|
| 13 | | Vera Trnková,
Jan Reiterman:
Dynamic Algebras with Test.
J. Comput. Syst. Sci. 35(2): 229-242 (1987) |
| 1984 |
|---|
| 12 | | Jan Reiterman,
Vera Trnková:
From Dynamic Algebras to Test Algebras.
MFCS 1984: 490-497 |
| 1981 |
|---|
| 11 | | Ludek Kucera,
Vera Trnková:
Isomorphism Completeness for Some Algebraic Structures.
FCT 1981: 218-225 |
| 10 | | Jan Reiterman,
Vera Trnková:
On Representations of Dynamic Algebras with Reversion.
MFCS 1981: 463-472 |
| 1980 |
|---|
| 9 | | Jan Reiterman,
Vera Trnková:
Dynamic Algebras which are not Kripke Structures.
MFCS 1980: 528-538 |
| 8 | | Vera Trnková:
General theory of relational automata.
Fundam. Inform. 3(2): 189-234 (1980) |
| 1979 |
|---|
| 7 | | Vera Trnková:
Machines and their behaviour in a category.
FCT 1979: 450-461 |
| 6 | | Vera Trnková,
Jirí Adámek:
Tree-group automata.
FCT 1979: 462-468 |
| 5 | | Vera Trnková:
L-Fuzzy Functorial Automata.
MFCS 1979: 463-473 |
| 1977 |
|---|
| 4 | | Jirí Adámek,
Vera Trnková:
Recognizable and Regular Languages in a Category.
FCT 1977: 206-211 |
| 3 | | Vera Trnková:
Relational Automata ina Category and their Language.
FCT 1977: 340-355 |
| 2 | | Vera Trnková,
Jirí Adámek:
On Languages, Accepted by Machines in the Category of Sets.
MFCS 1977: 523-531 |
| 1975 |
|---|
| 1 | | Vera Trnková:
Automate and Categories.
MFCS 1975: 138-152 |
