Košík

Záznam byl přidán do košíku

Z košíku
RIV
DOI
WOS
SCOPUS
Bookmark
1.
0504567 - FLÚ 2020 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
On Two Notions of Computation in Transparent Intensional Logic.
Axiomathes. Roč. 29, č. 2 (2019), s. 189-205. ISSN 1122-1151
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Transparent intensional logic * Procedural semantics * Lambda calculus * Term rewriting * Term interpretation
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs10516-018-9401-7
Trvalý link: http://hdl.handle.net/11104/0296171
Z košíku
Bookmark
2.def.record 'I2_TF_SHORT' not found in 'CavUnTablesd'
Z košíku
RIV
DOI
WOS
SCOPUS
PUBMED
Bookmark
3.
0520548 - BC 2020 RIV GB eng J - Článek v odborném periodiku
Singer, D. - Mitchell, E.A.D. - Payne, R. J. - Blandenier, Q. - Duckert, C. - Fernandez, L.D. - Fournier, B. - Hernandez, C.E. - Granath, G. - Rydin, H. - Bragazza, L. - Koronatova, N.G. - Goia, I. - Harris, L.I. - Kajukalo, K. - Kosakyan, Anush - Lamentowicz, M. - Kosykh, N.P. - Vellak, K. - Lara, E.
Dispersal limitations and historical factors determine the biogeography of specialized terrestrial protists.
Molecular Ecology. Roč. 28, č. 12 (2019), s. 3089-3100. ISSN 0962-1083. E-ISSN 1365-294X
Institucionální podpora: RVO:60077344
Klíčová slova: testate amebas amoebozoa * genetic-structure * divergence times * diversity * arcellinida * hyalospheniidae * evolution * patterns * size * redefinition * distribution * Holarctic * Hyalosphenia papilio * phylogeography * protists * Sphagnum peatland
Obor OECD: Biochemistry and molecular biology
Impakt faktor: 5.163, rok: 2019
Způsob publikování: Omezený přístup
https://onlinelibrary.wiley.com/doi/abs/10.1111/mec.15117
Trvalý link: http://hdl.handle.net/11104/0305211