Výsledky vyhledávání

Nalezeno záznamů: 67  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0252856 zj^"
    1.
    0524146 - MÚ 2021 RIV SG eng J - Článek v odborném periodiku
    Jeřábek, Emil
    Recursive functions and existentially closed structures.
    Journal of Mathematical Logic. Roč. 20, č. 1 (2020), č. článku 2050002. ISSN 0219-0613. E-ISSN 1793-6691
    Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: classification theory * relative interpretation * representability of recursive functions
    Obor OECD: Pure mathematics
    Impakt faktor: 0.840, rok: 2020
    Způsob publikování: Omezený přístup
    https://doi.org/10.1142/S0219061320500026
    Trvalý link: http://hdl.handle.net/11104/0308510
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jerabek1.pdf1753.9 KBVydavatelský postprintvyžádat
     
     
    2.
    0474420 - MÚ 2018 RIV US eng J - Článek v odborném periodiku
    Doucha, Michal
    Metrically universal abelian groups.
    American Mathematical Society. Transactions. Roč. 369, č. 8 (2017), s. 5981-5998. ISSN 0002-9947. E-ISSN 1088-6850
    Grant CEP: GA AV ČR IAA100190902
    Institucionální podpora: RVO:67985840
    Klíčová slova: Abelian group
    Obor OECD: Pure mathematics
    Impakt faktor: 1.496, rok: 2017
    http://www.ams.org/journals/tran/2017-369-08/S0002-9947-2017-07059-8/
    Trvalý link: http://hdl.handle.net/11104/0271474
    Název souboruStaženoVelikostKomentářVerzePřístup
    Doucha.pdf7277 KBVydavatelský postprintvyžádat
     
     
    3.
    0474390 - MÚ 2018 RIV HU eng J - Článek v odborném periodiku
    Lauria, M. - Pudlák, Pavel - Rödl, V. - Thapen, Neil
    The complexity of proving that a graph is Ramsey.
    Combinatorica. Roč. 37, č. 2 (2017), s. 253-268. ISSN 0209-9683. E-ISSN 1439-6912
    Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: complexity * c-Ramsey graphs
    Obor OECD: Pure mathematics
    Impakt faktor: 1.406, rok: 2017
    http://link.springer.com/article/10.1007%2Fs00493-015-3193-9
    Trvalý link: http://hdl.handle.net/11104/0271451
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak1.pdf7433.6 KBVydavatelský postprintvyžádat
     
     
    4.
    0468171 - MÚ 2017 RIV DE eng J - Článek v odborném periodiku
    Jeřábek, Emil
    Cluster expansion and the boxdot conjecture.
    Mathematical Logic Quarterly. Roč. 62, č. 6 (2016), s. 608-614. ISSN 0942-5616. E-ISSN 1521-3870
    Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: modal logic * boxdot translation * cluster expansion
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.250, rok: 2016
    http://onlinelibrary.wiley.com/doi/10.1002/malq.201600036/abstract
    Trvalý link: http://hdl.handle.net/11104/0266023
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jerabek3.pdf1165.8 KBVydavatelský postprintvyžádat
     
     
    5.
    0465743 - MÚ 2017 RIV US eng J - Článek v odborném periodiku
    Brody, J. - Buhrman, H. - Koucký, Michal - Loff, B. - Speelman, F. - Vereshchagin, N.K.
    Towards a reverse Newman’s theorem in interactive information complexity.
    Algorithmica. Roč. 76, č. 3 (2016), s. 749-781. ISSN 0178-4617. E-ISSN 1432-0541
    Grant CEP: GA AV ČR IAA100190902
    Institucionální podpora: RVO:67985840
    Klíčová slova: communication complexity * information complexity * information theory
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.735, rok: 2016
    http://link.springer.com/article/10.1007%2Fs00453-015-0112-9
    Trvalý link: http://hdl.handle.net/11104/0264183
    Název souboruStaženoVelikostKomentářVerzePřístup
    Koucky.pdf4630.8 KBVydavatelský postprintvyžádat
     
     
    6.
    0457321 - MÚ 2016 RIV US eng J - Článek v odborném periodiku
    Epstein, L. - Jeż, Łukasz - Sgall, J. - van Stee, R.
    Online scheduling of jobs with fixed start times on related machines.
    Algorithmica. Roč. 74, č. 1 (2016), s. 156-176. ISSN 0178-4617. E-ISSN 1432-0541
    Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: online scheduling * online algorithms * related machines
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.735, rok: 2016
    http://link.springer.com/article/10.1007%2Fs00453-014-9940-2
    Trvalý link: http://hdl.handle.net/11104/0257713
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jez.pdf1563.7 KBVydavatelský postprintvyžádat
     
     
    7.
    0453982 - MÚ 2016 RIV US eng J - Článek v odborném periodiku
    Chodounský, David - Repovš, D. - Zdomskyy, L.
    Mathias forcing and combinatorial covering properties of filters.
    Journal of Symbolic Logic. Roč. 80, č. 4 (2015), s. 1398-1410. ISSN 0022-4812. E-ISSN 1943-5886
    Grant CEP: GA AV ČR IAA100190902
    Institucionální podpora: RVO:67985840
    Klíčová slova: Menger space * Hurewicz space * Mathias forcing
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.510, rok: 2015
    http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=10080752
    Trvalý link: http://hdl.handle.net/11104/0254708
    Název souboruStaženoVelikostKomentářVerzePřístup
    Chodounsky2.pdf2192.2 KBVydavatelský postprintvyžádat
     
     
    8.
    0453140 - MÚ 2016 RIV GB eng J - Článek v odborném periodiku
    Jeřábek, Emil
    Blending margins: The modal logic K has nullary unification type.
    Journal of Logic and Computation. Roč. 25, č. 5 (2015), s. 1231-1240. ISSN 0955-792X. E-ISSN 1465-363X
    Grant CEP: GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
    Institucionální podpora: RVO:67985840
    Klíčová slova: modal logic * unification type * rule of margins
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.585, rok: 2015
    http://logcom.oxfordjournals.org/content/25/5/1231
    Trvalý link: http://hdl.handle.net/11104/0254021
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jerabek2.pdf2242.4 KBVydavatelský postprintvyžádat
     
     
    9.
    0451577 - MÚ 2016 RIV US eng J - Článek v odborném periodiku
    Jeřábek, Emil
    Integer factoring and modular square roots.
    Journal of Computer and System Sciences. Roč. 82, č. 2 (2016), s. 380-394. ISSN 0022-0000. E-ISSN 1090-2724
    Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: integer factoring * quadratic residue * PPA
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 1.678, rok: 2016
    http://www.sciencedirect.com/science/article/pii/S0022000015000768
    Trvalý link: http://hdl.handle.net/11104/0252707
    Název souboruStaženoVelikostKomentářVerzePřístup
    Jerabek.pdf1416.5 KBVydavatelský postprintvyžádat
     
     
    10.
    0447629 - MÚ 2016 RIV US eng J - Článek v odborném periodiku
    Filmus, Y. - Lauria, M. - Nordström, J. - Ron-Zewi, N. - Thapen, Neil
    Space complexity in polynomial calculus.
    Siam Journal on Computing. Roč. 44, č. 4 (2015), s. 1119-1153. ISSN 0097-5397. E-ISSN 1095-7111
    Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985840
    Klíčová slova: proof complexity * polynomial calculus * lower bounds
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.841, rok: 2015
    http://epubs.siam.org/doi/10.1137/120895950
    Trvalý link: http://hdl.handle.net/11104/0249428
    Název souboruStaženoVelikostKomentářVerzePřístup
    Thapen.pdf2439.5 KBVydavatelský postprintvyžádat
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše