0174593 - MU-W 980165 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA AV ČR IAA119107
Grant ostatní: US-Czechoslovak Science and technology Program(XX) č. 93025
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.295, rok: 1998
Trvalý link: http://hdl.handle.net/11104/0071599