Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Jiří Velebil"'
Publikováno v:
Plants, Vol 12, Iss 3, p 488 (2023)
Members of the genus Sorbus are the only endemic tree species that occur in Czechia. They are important components of endangered plant communities. Their natural regeneration is usually problematic because of their mode of reproduction and because th
Externí odkaz:
https://doaj.org/article/70293a7d24394e70acf07962992895a4
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 1 (2019)
For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor $T$ (formalised as an endofunctor on sets) can be extended
Externí odkaz:
https://doaj.org/article/d5e451e974264c66aba1705f58bfd8f2
Publikováno v:
Logical Methods in Computer Science, Vol Volume 11, Issue 3 (2015)
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and a
Externí odkaz:
https://doaj.org/article/e5c24c20b0214f788c194cad7c12f7fa
Autor:
Zdeněk Kaplan, Jiří Danihelka, Kateřina Šumberová, Jan Prančl, Jiří Velebil, Pavel Dřevojan, Michal Ducháček, Roman Businský, Radomír Řepka, Petr Maděra, Hana Galušková, Jan Wild, Josef Brůna
Publikováno v:
Preslia. 95:1-118
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5ff52d47865b86020b73d709704925c
https://doi.org/10.23855/preslia.2023.001
https://doi.org/10.23855/preslia.2023.001
Publikováno v:
Folia Geobotanica. 57:213-228
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2bc434ec020b9e655fa331bc82af5d4a
https://doi.org/10.1007/s12224-022-09420-3
https://doi.org/10.1007/s12224-022-09420-3
Publikováno v:
Preslia. 94:305-334
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e02a8f4db4c5b845e5d5b39c8973de7
https://doi.org/10.23855/preslia.2022.305
https://doi.org/10.23855/preslia.2022.305
Rubus violaceifrons, a new species from central and north-eastern Bohemia (Czech Republic) is described and illustrated, and its distribution is characterized in detail. We classify it as a member of the series Pallidi of the subgenus Rubus, section
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9480eea295c6c6a2ca0a51d20fa1cf83
https://zenodo.org/record/7223616
https://zenodo.org/record/7223616
Autor:
Alexander Kurz, Jiří Velebil
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 85:475-499
We survey work in category theory and coalgebra on how to extend a functor from maps to relations. This relation lifting has a universal property, which is presented in some detail and guides us to generalisations to monotone and many-valued relation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::018cc0d82e31aaeb39560f6b4464f9d0
https://doi.org/10.1016/j.jlamp.2015.08.002
https://doi.org/10.1016/j.jlamp.2015.08.002
Autor:
Jiří Velebil, Roman Businský
Publikováno v:
TAXON. 65:352-360
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6782ae494287ddc16d1a516d22dba34
https://doi.org/10.12705/652.13
https://doi.org/10.12705/652.13
Autor:
Alexander Kurz, Jiří Velebil
Publikováno v:
Mathematical Structures in Computer Science. 27:1153-1194
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::59c3c985148b129d5f0d818fd4251a18
https://doi.org/10.1017/s096012951500050x
https://doi.org/10.1017/s096012951500050x