Search results

  1. 1.
    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/0291518
    FileDownloadSizeCommentaryVersionAccess
    Thapen1.pdf1310.7 KBPublisher’s postprintrequire
     
     
  2. 2.
    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/0256726
    FileDownloadSizeCommentaryVersionAccess
    Thapen.pdf1694.7 KBPublisher’s postprintrequire
     
     
  3. 3.
    0430389 - MÚ 2015 RIV US eng J - Journal Article
    Beckmann, A. - Pudlák, Pavel - Thapen, Neil
    Parity games and propositional proofs.
    ACM Transactions on Computational Logic. Roč. 15, č. 2 (2014), s. 17. ISSN 1529-3785. E-ISSN 1557-945X
    R&D Projects: GA AV ČR IAA100190902
    Institutional support: RVO:67985840
    Keywords : bounded arithmetic * mean payoff games * parity games
    Subject RIV: BA - General Mathematics
    Impact factor: 0.618, year: 2014
    http://dl.acm.org/citation.cfm?doid=2616911.2579822
    Permanent Link: http://hdl.handle.net/11104/0235335
    FileDownloadSizeCommentaryVersionAccess
    Pudlak.pdf7439.9 KBPublisher’s postprintrequire
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.