Search results
- 1.0531294 - MÚ 2021 RIV PL eng J - Journal Article
Friedman, S.-D. - Honzík, R. - Stejskalová, Šárka
The tree property at $aleph_{omega+2}$ with a finite gap.
Fundamenta Mathematicae. Roč. 251, č. 3 (2020), s. 219-244. ISSN 0016-2736. E-ISSN 1730-6329
R&D Projects: GA ČR GF17-33849L
Institutional support: RVO:67985840
Keywords : finite gap
OECD category: Pure mathematics
Impact factor: 0.690, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.4064/fm866-2-2020
Permanent Link: http://hdl.handle.net/11104/0309981File Download Size Commentary Version Access Stejskalova.pdf 2 567.9 KB Publisher’s postprint require - 2.0499289 - MÚ 2020 RIV NL eng J - Journal Article
Beckmann, A. - Buss, S. - Friedman, S.-D. - Müller, M. - Thapen, Neil
Feasible set functions have small circuits.
Computability. Roč. 8, č. 1 (2019), s. 67-98. ISSN 2211-3568
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : computational complexity * primitive recursive set functions * circuit complexity * Cobham recursive set functions
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Method of publishing: Limited access
http://dx.doi.org/10.3233/COM-180096
Permanent Link: http://hdl.handle.net/11104/0291518File Download Size Commentary Version Access Thapen1.pdf 1 310.7 KB Publisher’s postprint require - 3.0456152 - MÚ 2017 RIV NL eng J - Journal Article
Beckmann, A. - Buss, S. - Friedman, S.-D. - Müller, M. - Thapen, Neil
Cobham recursive set functions.
Annals of Pure and Applied Logic. Roč. 167, č. 3 (2016), s. 335-369. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985840
Keywords : set function * polynomial time * Cobham recursion
Subject RIV: BA - General Mathematics
Impact factor: 0.647, year: 2016
http://www.sciencedirect.com/science/article/pii/S0168007215001293
Permanent Link: http://hdl.handle.net/11104/0256726File Download Size Commentary Version Access Thapen.pdf 1 694.7 KB Publisher’s postprint require