Počet záznamů: 1
The provably total search problems of bounded arithmetic
- 1.Skelley, A. - Thapen, Neil
The provably total search problems of bounded arithmetic.
Proceedings of the London Mathematical Society. Roč. 103, č. 1 (2011), s. 106-138. ISSN 0024-6115. E-ISSN 1460-244X
Impakt faktor: 1.324, rok: 2011
http://plms.oxfordjournals.org/content/103/1/106
http://hdl.handle.net/11104/0203689
Počet záznamů: 1