An application of boolean complexity to separation problems in bounded arithmetic (1994)

by Samuel R. Buss , Jan Krajlcek
Venue:Proc. London Math. Society
Citations:55 - 15 self