Počet záznamů: 1
The provably total NP search problems of weak second order bounded arithmetic
- 1.KOLODZIEJCZYK, L. A., THAPEN, N., NGUYEN, P. The provably total NP search problems of weak second order bounded arithmetic. Annals of Pure and Applied Logic. 2011, 162(6), 419-446. ISSN 0168-0072. E-ISSN 1873-2461. Dostupné z: doi: 10.1016/j.apal.2010.12.002.
Počet záznamů: 1