Vera Trnkov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
2
Active years
1975–1984
Best venue rank
B
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1984 | MFCS | From Dynamic Algebras to Test Algebras. | Jan Reiterman, Vera Trnkov |
| 1981 | FCT | Isomorphism Completeness for Some Algebraic Structures. | Ludek Kucera, Vera Trnkov |
| 1981 | MFCS | On Representations of Dynamic Algebras with Reversion. | Jan Reiterman, Vera Trnkov |
| 1980 | MFCS | Dynamic Algebras which are not Kripke Structures. | Jan Reiterman, Vera Trnkov |
| 1979 | FCT | Machines and their behaviour in a category. | Vera Trnkov |
| 1979 | FCT | Tree-group automata. | Vera Trnkov, Jir Admek |
| 1979 | MFCS | L-Fuzzy Functorial Automata. | Vera Trnkov |
| 1977 | FCT | Recognizable and Regular Languages in a Category. | Jir Admek, Vera Trnkov |
| 1977 | FCT | Relational Automata ina Category and their Language. | Vera Trnkov |
| 1977 | MFCS | On Languages, Accepted by Machines in the Category of Sets. | Vera Trnkov, Jir Admek |
| 1975 | MFCS | Automate and Categories. | Vera Trnkov |