Basket

    1.
    0174593 - MU-W 980165 RIV US eng J - Journal Article
    Krajíček, Jan - Chiari, M.
    Witnessing functions in bounded arithmetic and search problems.
    Journal of Symbolic Logic. Roč. 63, č. 3 (1998), s. 1095-1115. ISSN 0022-4812. E-ISSN 1943-5886
    R&D Projects: GA AV ČR IAA119107
    Grant - others:US-Czechoslovak Science and technology Program(XX) č. 93025
    Subject RIV: BA - General Mathematics
    Impact factor: 0.295, year: 1998
    Permanent Link: http://hdl.handle.net/11104/0071599
    FileDownloadSizeCommentaryVersionAccess
    Krajicek3.pdf1377.5 KBPublisher’s postprintrequire
     
     

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

Accept allSettingsReject all