Number of the records: 1
Witnessing functions in bounded arithmetic and search problems
- 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
File Download Size Commentary Version Access Krajicek3.pdf 1 377.5 KB Publisher’s postprint require
Number of the records: 1