Počet záznamů: 1
On theories of bounded arithmetic for NC1
- 1.JEŘÁBEK, E. On theories of bounded arithmetic for NC1. Annals of Pure and Applied Logic. 2011, 162(4), 322-340. ISSN 0168-0072. E-ISSN 1873-2461. Dostupné z: doi: 10.1016/j.apal.2010.10.001.
Počet záznamů: 1