Výsledky vyhledávání
- 1.0499289 - MÚ 2020 RIV NL eng J - Článek v odborném periodiku
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
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: computational complexity * primitive recursive set functions * circuit complexity * Cobham recursive set functions
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Způsob publikování: Omezený přístup
http://dx.doi.org/10.3233/COM-180096
Trvalý link: http://hdl.handle.net/11104/0291518Název souboru Staženo Velikost Komentář Verze Přístup Thapen1.pdf 1 310.7 KB Vydavatelský postprint vyžádat - 2.0476044 - MÚ 2018 RIV SG eng M - Část monografie knihy
Beckmann, A. - Buss, S. - Friedman, S.-D. - Müller, M. - Thapen, Neil
Cobham Recursive Set Functions and Weak Set Theories.
Sets and Computations. 1. Singapore: World Scientific, 2017 - (Friedman, S.; Raghavan, D.; Yang, Y.), s. 55-116. Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapor, 33. ISBN 978-981-3223-51-6
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: set theory * Cobham recursive set functions
Obor OECD: Pure mathematics
http://www.worldscientific.com/doi/abs/10.1142/9789813223523_0005
Trvalý link: http://hdl.handle.net/11104/0272611Název souboru Staženo Velikost Komentář Verze Přístup Thapen.pdf 5 47.3 MB Vydavatelský postprint vyžádat