Vera Trnková

27 papers B 11Journal 16
YearRankTypeTitle / Venue / Authors
2015 J jnl
Set Functors and Filters.
Appl. Categorical Struct.
Václav Koubek, Vera Trnková
2011 J jnl
Initial algebras and terminal coalgebras in many-sorted sets.
Math. Struct. Comput. Sci.
Jirí Adámek, Vera Trnková
2011 J jnl
Universality of Categories of Coalgebras.
Appl. Categorical Struct.
Václav Koubek, Jirí Sichler, Vera Trnková
2010 J jnl
Presentation of Set Functors: A Coalgebraic Perspective.
J. Log. Comput.
Jirí Adámek, H. Peter Gumm, Vera Trnková
2007 J jnl
Metrizability and Coconnectedness.
Appl. Categorical Struct.
Vera Trnková
2004 J jnl
Counting Cocomponents of a Topological Space.
Appl. Categorical Struct.
Vera Trnková
2000 J jnl
Clone Segments of the Tychonoff Modification of Space.
Appl. Categorical Struct.
Anna Tozzi, Vera Trnková
2000 J jnl
Spaces without Nonconstant Maps into Y.
Appl. Categorical Struct.
Vera Trnková
1999 J jnl
On categories generalizing universal domains.
Math. Struct. Comput. Sci.
Vera Trnková, Jirí Velebil
1996 J jnl
Algebraic theories, clones and their segments.
Appl. Categorical Struct.
Vera Trnková
1994 J jnl
Universalities.
Appl. Categorical Struct.
Vera Trnková
1992 J jnl
Endomorphisms of undirected modifications of directed graphs.
Discret. Math.
Vera Trnková
1988 J jnl
Isomorphism Testing of Unary Algebras.
SIAM J. Comput.
Ludek Kucera, Vera Trnková
1987 J jnl
Dynamic Algebras with Test.
J. Comput. Syst. Sci.
Vera Trnková, Jan Reiterman
1984 B conf
From Dynamic Algebras to Test Algebras.
MFCS
Jan Reiterman, Vera Trnková
1981 B conf
Isomorphism Completeness for Some Algebraic Structures.
FCT
Ludek Kucera, Vera Trnková
1981 B conf
On Representations of Dynamic Algebras with Reversion.
MFCS
Jan Reiterman, Vera Trnková
1980 B conf
Dynamic Algebras which are not Kripke Structures.
MFCS
Jan Reiterman, Vera Trnková
1980 J jnl
General theory of relational automata.
Fundam. Informaticae
Vera Trnková
1980 J jnl
On an equivalence of system-theoretical and categorical concepts.
Kybernetika
Jirí Adámek, Hartmut Ehrig, Vera Trnková
1979 B conf
L-Fuzzy Functorial Automata.
MFCS
Vera Trnková
1979 B conf
Machines and their behaviour in a category.
FCT
Vera Trnková
1979 B conf
Tree-group automata.
FCT
Vera Trnková, Jirí Adámek
1977 B conf
On Languages, Accepted by Machines in the Category of Sets.
MFCS
Vera Trnková, Jirí Adámek
1977 B conf
Recognizable and Regular Languages in a Category.
FCT
Jirí Adámek, Vera Trnková
1977 B conf
Relational Automata ina Category and their Language.
FCT
Vera Trnková
1975 B conf
Automate and Categories.
MFCS
Vera Trnková