Number of the records: 1
On theories of bounded arithmetic for NC1
- 1.JEŘÁBEK, Emil. 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. Available: doi: 10.1016/j.apal.2010.10.001.
Number of the records: 1