Unprovability of lower bounds on circuit size in certain fragments of bounded arithmetic
- 28 February 1995
- journal article
- Published by Steklov Mathematical Institute in Izvestiya: Mathematics
- Vol. 59 (1) , 205-227
- https://doi.org/10.1070/im1995v059n01abeh000009
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: