|
Search the dblp DataBase
Vera Trnková:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jirí Adámek, Vera Trnková
Recognizable and Regular Languages in a Category. [Citation Graph (0, 0)][DBLP] FCT, 1977, pp:206-211 [Conf]
- Ludek Kucera, Vera Trnková
Isomorphism Completeness for Some Algebraic Structures. [Citation Graph (0, 0)][DBLP] FCT, 1981, pp:218-225 [Conf]
- Vera Trnková
Relational Automata ina Category and their Language. [Citation Graph (0, 0)][DBLP] FCT, 1977, pp:340-355 [Conf]
- Vera Trnková
Machines and their behaviour in a category. [Citation Graph (0, 0)][DBLP] FCT, 1979, pp:450-461 [Conf]
- Vera Trnková, Jirí Adámek
Tree-group automata. [Citation Graph (0, 0)][DBLP] FCT, 1979, pp:462-468 [Conf]
- Jan Reiterman, Vera Trnková
Dynamic Algebras which are not Kripke Structures. [Citation Graph (0, 0)][DBLP] MFCS, 1980, pp:528-538 [Conf]
- Jan Reiterman, Vera Trnková
On Representations of Dynamic Algebras with Reversion. [Citation Graph (0, 0)][DBLP] MFCS, 1981, pp:463-472 [Conf]
- Jan Reiterman, Vera Trnková
From Dynamic Algebras to Test Algebras. [Citation Graph (0, 0)][DBLP] MFCS, 1984, pp:490-497 [Conf]
- Vera Trnková
Automate and Categories. [Citation Graph (0, 0)][DBLP] MFCS, 1975, pp:138-152 [Conf]
- Vera Trnková
L-Fuzzy Functorial Automata. [Citation Graph (0, 0)][DBLP] MFCS, 1979, pp:463-473 [Conf]
- Vera Trnková, Jirí Adámek
On Languages, Accepted by Machines in the Category of Sets. [Citation Graph (0, 0)][DBLP] MFCS, 1977, pp:523-531 [Conf]
- Vera Trnková
Counting Cocomponents of a Topological Space. [Citation Graph (0, 0)][DBLP] Applied Categorical Structures, 2004, v:12, n:4, pp:379-396 [Journal]
- Vera Trnková
General theory of relational automata. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1980, v:3, n:2, pp:189-234 [Journal]
- Vera Trnková, Jan Reiterman
Dynamic Algebras with Test. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1987, v:35, n:2, pp:229-242 [Journal]
- Vera Trnková, Jiri Velebil
On categories generalizing universal domains. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1999, v:9, n:2, pp:159-175 [Journal]
- Ludek Kucera, Vera Trnková
Isomorphism Testing of Unary Algebras. [Citation Graph (0, 0)][DBLP] SIAM J. Comput., 1988, v:17, n:4, pp:673-686 [Journal]
- Vera Trnková
Endomorphisms of undirected modifications of directed graphs. [Citation Graph (0, 0)][DBLP] Discrete Mathematics, 1992, v:108, n:1-3, pp:203-209 [Journal]
Metrizability and Coconnectedness. [Citation Graph (, )][DBLP]
Spaces without Nonconstant Maps into Y. [Citation Graph (, )][DBLP]
Clone Segments of the Tychonoff Modification of Space. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|