Počet záznamů: 1
Witnessing functions in bounded arithmetic and search problems
- 1.Krajíček, J., Chiari, M. Witnessing functions in bounded arithmetic and search problems. Journal of Symbolic Logic. 1998, 63(3), 1095-1115. ISSN 0022-4812. E-ISSN 1943-5886.
Počet záznamů: 1