Vera Trnková

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Set Functors and Filters.
Appl. Categorical Struct., 2015

2011
Initial algebras and terminal coalgebras in many-sorted sets.
Math. Struct. Comput. Sci., 2011

Universality of Categories of Coalgebras.
Appl. Categorical Struct., 2011

2010
Presentation of Set Functors: A Coalgebraic Perspective.
J. Log. Comput., 2010

2007
Metrizability and Coconnectedness.
Appl. Categorical Struct., 2007

2004
Counting Cocomponents of a Topological Space.
Appl. Categorical Struct., 2004

2000
Spaces without Nonconstant Maps into Y.
Appl. Categorical Struct., 2000

Clone Segments of the Tychonoff Modification of Space.
Appl. Categorical Struct., 2000

1999
On categories generalizing universal domains.
Math. Struct. Comput. Sci., 1999

1996
Algebraic theories, clones and their segments.
Appl. Categorical Struct., 1996

1994
Universalities.
Appl. Categorical Struct., 1994

1992
Endomorphisms of undirected modifications of directed graphs.
Discret. Math., 1992

1988
Isomorphism Testing of Unary Algebras.
SIAM J. Comput., 1988

1987
Dynamic Algebras with Test.
J. Comput. Syst. Sci., 1987

1984
From Dynamic Algebras to Test Algebras.
Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1981
On Representations of Dynamic Algebras with Reversion.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

Isomorphism Completeness for Some Algebraic Structures.
Proceedings of the Fundamentals of Computation Theory, 1981

1980
On an equivalence of system-theoretical and categorical concepts.
Kybernetika, 1980

General theory of relational automata.
Fundam. Informaticae, 1980

Dynamic Algebras which are not Kripke Structures.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979
L-Fuzzy Functorial Automata.
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

Tree-group automata.
Proceedings of the Fundamentals of Computation Theory, 1979

Machines and their behaviour in a category.
Proceedings of the Fundamentals of Computation Theory, 1979

1977
On Languages, Accepted by Machines in the Category of Sets.
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

Relational Automata ina Category and their Language.
Proceedings of the Fundamentals of Computation Theory, 1977

Recognizable and Regular Languages in a Category.
Proceedings of the Fundamentals of Computation Theory, 1977

1975
Automate and Categories.
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975


  Loading...