An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic
Buss, S. R.; Krajicek, J.
- 期刊名称Proceedings of the London Mathematical Society
- 作者Buss, S. R.; Krajicek, J.
- 期第1期
- 印刷ISSN0024-6115
- 电子ISSN1460-244X
- 文件大小2173.77KB
- 发表时间1994-07-01
- DOI10.1112/plms/s3-69.1.1
- 页码1-21