Vera Trnková

发表

Ludek Kucera, Vera Trnková, 1981, FCT.
Vera Trnková, A. Tozzi, 2000, Appl. Categorical Struct..
Jirí Adámek, Vera Trnková, J. Adámek, 2011, Mathematical Structures in Computer Science.
Václav Koubek, Vera Trnková, Jirí Sichler, 2011, Appl. Categorical Struct..
Vera Trnková, V. Trnková, 2004, Appl. Categorical Struct..
Jirí Adámek, Vera Trnková, 1979, FCT.
Jirí Adámek, Vera Trnková, J. Adámek, 1977, FCT.
Jiri Velebil, Vera Trnková, 1999, Math. Struct. Comput. Sci..
Vera Trnková, 1996, Appl. Categorical Struct..
Vera Trnková, Jan Reiterman, J. Reiterman, 1987, J. Comput. Syst. Sci..
Jirí Adámek, Vera Trnková, H. Peter Gumm, 2010, J. Log. Comput..
Vera Trnková, 2000, Appl. Categorical Struct..
Vera Trnková, 1994, Appl. Categorical Struct..
Vera Trnková, V. Trnková, 1980, Fundam. Informaticae.
Vera Trnková, Jan Reiterman, J. Reiterman, 1984, MFCS.
Vera Trnková, V. Trnková, 1977, FCT.
Vera Trnková, 2007, Appl. Categorical Struct..
Vera Trnková, V. Trnková, 1992, Discret. Math..
Vera Trnková, Jan Reiterman, J. Reiterman, 1981, MFCS.
Hartmut Ehrig, Jirí Adámek, Vera Trnková, 1980, Kybernetika.
Jirí Adámek, Vera Trnková, J. Adámek, 1977, MFCS.
Václav Koubek, Vera Trnková, 2015, Appl. Categorical Struct..
Vera Trnková, Jan Reiterman, J. Reiterman, 1980, MFCS.
Vera Trnková, Jiří Adámek, Jiří Rosický, 1990 .
Vera Trnková, J. Sichler, 2009 .
Vera Trnková, J. Sichler, 2008 .