Complexity Theory and Bounded Arithmetic for Truly Feasible Computation

@inproceedings{Kuroda2007ComplexityTA,
  title={Complexity Theory and Bounded Arithmetic for Truly Feasible Computation},
  author={Satoru Kuroda},
  year={2007}
}