Communication Across Cultures (Mutual understanding in a global world) || Interpreting and translating
- 作者Bowe, Heather; Martin, Kylie
- 文件大小158.63KB
- 发表时间2007
- DOI10.1017/CBO9780511803925.011
- 页码140-156
Logical Foundations of Proof Complexity || PROOF SYSTEMS AND THE REFLECTION PRINCIPLECook, Stephen; Nguyen, Phuong · 2010
Logical Foundations of Proof Complexity || THE PREDICATE CALCULUS AND THE SYSTEM LKCook, Stephen; Nguyen, Phuong · 2010
Logical Foundations of Proof Complexity || THE THEORY V 1 AND POLYNOMIAL TIMECook, Stephen; Nguyen, Phuong · 2010
[Studies in Logic and the Foundations of Mathematics] Computability, Complexity, Logic Volume 128 || Chapter E Logical Analysis of the Concept of Proof, · 1989
Logical Foundations of Proof Complexity || PREFACECook, Stephen; Nguyen, Phuong · 2010
Logical Foundations of Proof Complexity || INTRODUCTIONCook, Stephen; Nguyen, Phuong · 2010
Logical Foundations of Proof Complexity || BIBLIOGRAPHYCook, Stephen; Nguyen, Phuong · 2010
Logical Foundations of Proof Complexity || PROPOSITIONAL TRANSLATIONSCook, Stephen; Nguyen, Phuong · 2010
Logical Foundations of Proof Complexity || COMPUTATION MODELSCook, Stephen; Nguyen, Phuong · 2010
Relativizing small complexity classes and their theoriesAehlig, Klaus; Cook, Stephen; Nguyen, Phuong · computational complexity · 2016
Logical Foundations of Proof Complexity || THEORIES FOR SMALL CLASSESCook, Stephen; Nguyen, Phuong · 2010
The Complexity of Proving the Discrete Jordan Curve TheoremNguyen, Phuong; Cook, Stephen · ACM Transactions on Computational Logic · 2012