I agree that this site is using cookies. You can find further informations here.
X
VELEBIL, JIŘÍ
93  results:
Search for persons X
?
1

Micropropagation as a Tool for the Conservation of Autochth..:

Šedivá, Jana ; Velebil, Jiří ; Zahradník, Daniel
Plants.  12 (2023)  3 - p. 488 , 2023
Link: https://doi.org/10.3390/..
 
?
2

Rubus atroroseus (Rosaceae), a new species of the section C..:

Lepší, Martin ; Lepší, Petr ; Velebil, Jiří
Folia Geobotanica.  57 (2022)  3 - p. 213-228 , 2022
Link: https://doi.org/10.1007/..
 
?
3

The parks in Karlín in the past and today:

Sojková, Eva ; Velebil, Jiří ; Poliačiková, Zdenka...
Staletá Praha.  34 (2018)  1 - p. 103-131 , 2018
Link: https://doi.org/10.56112..
 
?
4

Relation lifting, a survey:

Kurz, Alexander ; Velebil, Jiří
Journal of Logical and Algebraic Methods in Programming.  85 (2016)  4 - p. 475-499 , 2016
Link: https://doi.org/10.1016/..
 
?
5

Quasivarieties and varieties of ordered algebras: regularit..:

KURZ, ALEXANDER ; VELEBIL, JIŘÍ
Mathematical Structures in Computer Science.  27 (2016)  7 - p. 1153-1194 , 2016
Link: https://doi.org/10.1017/..
 
?
6

Sorbus ×thuringiaca, the correct name for the diploid hybri..:

Velebil, Jiří ; Businský, Roman
TAXON.  65 (2016)  2 - p. 352-360 , 2016
Link: https://doi.org/10.12705..
 
?
7

Sorbus ×thuringiaca, the correct name for the diploid ..:

Velebil, Jiří ; Businský, Roman
Taxon.  65 (2016)  2 - p. 352-360 , 2016
Link: https://www.jstor.org/st..
 
?
8

Morita Equivalence for Many-Sorted Enriched Theories:

Dostál, Matĕj ; Velebil, Jiří
Applied Categorical Structures.  24 (2015)  6 - p. 825-844 , 2015
Link: https://doi.org/10.1007/..
 
?
9

An institutional approach to positive coalgebraic logic:

Balan, Adriana ; Kurz, Alexander ; Velebil, Jiří
Journal of Logic and Computation.  , 2015
Link: https://doi.org/10.1093/..
 
?
10

Kan injectivity in order-enriched categories:

ADÁMEK, JIŘÍ ; SOUSA, LURDES ; VELEBIL, JIŘÍ
Mathematical Structures in Computer Science.  25 (2014)  1 - p. 6-45 , 2014
Link: https://doi.org/10.1017/..
 
?
11

Base modules for parametrized iterativity:

Adámek, Jiří ; Milius, Stefan ; Velebil, Jiří
Theoretical Computer Science.  523 (2014)  - p. 56-85 , 2014
Link: https://doi.org/10.1016/..
 
?
12

How iterative reflections of monads are constructed:

Adámek, Jiří ; Milius, Stefan ; Velebil, Jiří
Information and Computation.  225 (2013)  - p. 83-118 , 2013
Link: https://doi.org/10.1016/..
 
?
13

Equational presentations of functors and monads:

VELEBIL, JIŘÍ ; KURZ, ALEXANDER
Mathematical Structures in Computer Science.  21 (2011)  2 - p. 363-381 , 2011
Link: https://doi.org/10.1017/..
 
?
14

On monotone modalities and adjointness:

BÍLKOVÁ, MARTA ; VELEBIL, JIŘÍ ; VENEMA, YDE
Mathematical Structures in Computer Science.  21 (2011)  2 - p. 383-416 , 2011
Link: https://doi.org/10.1017/..
 
?
15

Enriched Logical Connections:

Kurz, Alexander ; Velebil, Jiří
Applied Categorical Structures.  21 (2011)  4 - p. 349-377 , 2011
Link: https://doi.org/10.1007/..
 
1-15