Bounded Arithmetic, Propositional Logic and Complexity Theory || References
- 作者Krajicek, Jan
- 文件大小750.37KB
- 发表时间1995
- DOI10.1017/cbo9780511529948.017
- 页码327-334
同作者推荐
Bounded Arithmetic, Propositional Logic and Complexity Theory || PrefaceKrajicek, Jan · 1995
Bounded Arithmetic, Propositional Logic and Complexity Theory || IntroductionKrajicek, Jan · 1995
Bounded Arithmetic, Propositional Logic and Complexity Theory || PreliminariesKrajicek, Jan · 1995
Bounded Arithmetic, Propositional Logic and Complexity Theory || ReferencesKrajicek, Jan · 1995
Forcing with Random Variables and Proof Complexity || PrefaceKrajicek, Jan · 2010
Forcing with Random Variables and Proof Complexity || IntroductionKrajicek, Jan · 2010
Forcing with Random Variables and Proof Complexity || ReferencesKrajicek, Jan · 2010
Forcing with Random Variables and Proof Complexity || Witnessing quantifiersKrajicek, Jan · 2010