ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "recursion"
recursion
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
prof. Prof. RNDr. Věra Trnková DrSc.
Osoba mimo UK
47 publikací
Publikace
publication
Maps of finite powers of metric spaces (recursive conditions for spaces at work)
2000 |
Matematicko-fyzikální fakulta
publication
Set Functors and Filters
2015 |
Matematicko-fyzikální fakulta
publication
Clones of topological spaces
2012 |
Matematicko-fyzikální fakulta
publication
Relatively terminal coalgebras
2012 |
Matematicko-fyzikální fakulta
publication
Universality of Categories of Coalgebras
2011 |
Matematicko-fyzikální fakulta
publication
Initial algebras and terminal coalgebras in many-sorted sets
2011 |
Matematicko-fyzikální fakulta
publication
O univerzálních kategoriích koalgeber
2010 |
Matematicko-fyzikální fakulta
publication
HS=SH problém pro koalgebry
2010 |
Matematicko-fyzikální fakulta
publication
O klonech infinitárních algeber a jejich počátečních segmentech
2010 |
Matematicko-fyzikální fakulta
publication
Vyjádření množinových funktorů: koalgebraická prespektiva
2010 |
Matematicko-fyzikální fakulta
Načíst další publikace (37)
Loading network view...