Vera Trnková

According to our database, Vera Trnková authored at least 27 papers between 1975 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Set Functors and Filters.

Václav Koubek, Vera Trnková

Appl. Categorical Struct., 2015

2011

Initial algebras and terminal coalgebras in many-sorted sets.

Jirí Adámek, Vera Trnková

Math. Struct. Comput. Sci., 2011

Universality of Categories of Coalgebras.

Václav Koubek, Jirí Sichler, Vera Trnková

Appl. Categorical Struct., 2011

2010

Presentation of Set Functors: A Coalgebraic Perspective.

Jirí Adámek, H. Peter Gumm, Vera Trnková

J. Log. Comput., 2010

2007

Metrizability and Coconnectedness.

Vera Trnková

Appl. Categorical Struct., 2007

2004

Counting Cocomponents of a Topological Space.

Vera Trnková

Appl. Categorical Struct., 2004

2000

Spaces without Nonconstant Maps into Y.

Vera Trnková

Appl. Categorical Struct., 2000

Clone Segments of the Tychonoff Modification of Space.

Anna Tozzi, Vera Trnková

Appl. Categorical Struct., 2000

1999

On categories generalizing universal domains.

Vera Trnková, Jirí Velebil

Math. Struct. Comput. Sci., 1999

1996

Algebraic theories, clones and their segments.

Vera Trnková

Appl. Categorical Struct., 1996

1994

Universalities.

Vera Trnková

Appl. Categorical Struct., 1994

1992

Endomorphisms of undirected modifications of directed graphs.

Vera Trnková

Discret. Math., 1992

1988

Isomorphism Testing of Unary Algebras.

Ludek Kucera, Vera Trnková

SIAM J. Comput., 1988

1987

Dynamic Algebras with Test.

Vera Trnková, Jan Reiterman

J. Comput. Syst. Sci., 1987

1984

From Dynamic Algebras to Test Algebras.

Jan Reiterman, Vera Trnková

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1981

On Representations of Dynamic Algebras with Reversion.

Jan Reiterman, Vera Trnková

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

Isomorphism Completeness for Some Algebraic Structures.

Ludek Kucera, Vera Trnková

Proceedings of the Fundamentals of Computation Theory, 1981

1980

On an equivalence of system-theoretical and categorical concepts.

Jirí Adámek, Hartmut Ehrig, Vera Trnková

Kybernetika, 1980

General theory of relational automata.

Vera Trnková

Fundam. Informaticae, 1980

Dynamic Algebras which are not Kripke Structures.

Jan Reiterman, Vera Trnková

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

L-Fuzzy Functorial Automata.

Vera Trnková

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

Tree-group automata.

Vera Trnková, Jirí Adámek

Proceedings of the Fundamentals of Computation Theory, 1979

Machines and their behaviour in a category.

Vera Trnková

Proceedings of the Fundamentals of Computation Theory, 1979

1977

On Languages, Accepted by Machines in the Category of Sets.

Vera Trnková, Jirí Adámek

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

Relational Automata ina Category and their Language.

Vera Trnková

Proceedings of the Fundamentals of Computation Theory, 1977

Recognizable and Regular Languages in a Category.

Jirí Adámek, Vera Trnková

Proceedings of the Fundamentals of Computation Theory, 1977

1975

Automate and Categories.

Vera Trnková

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975