Forcing with Random Variables and Proof Complexity
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Cambridge University Press

9781139107211

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sampling with oracles

Forcing with Random Variables and Proof Complexity ◽

10.1017/cbo9781139107211.028 ◽

2011 ◽

pp. 168-170

Author(s):

Jan Krajicek

Download Full-text

Measure on ℬ

Forcing with Random Variables and Proof Complexity ◽

10.1017/cbo9781139107211.004 ◽

2011 ◽

pp. 16-18

Author(s):

Jan Krajicek

Download Full-text

The truth in N and the validity in K(F)

Forcing with Random Variables and Proof Complexity ◽

10.1017/cbo9781139107211.006 ◽

2011 ◽

pp. 34-36

Author(s):

Jan Krajicek

Download Full-text

Fundamental problems in proof complexity

Forcing with Random Variables and Proof Complexity ◽

10.1017/cbo9781139107211.029 ◽

2011 ◽

pp. 173-178

Author(s):

Jan Krajicek

Keyword(s):

Proof Complexity

Download Full-text

Witnessing and independence in Q2V01

Forcing with Random Variables and Proof Complexity ◽

10.1017/cbo9781139107211.018 ◽

2011 ◽

pp. 96-98

Author(s):

Jan Krajicek

Download Full-text

Preface

Forcing with Random Variables and Proof Complexity ◽

10.1017/cbo9781139107211.001 ◽

2011 ◽

pp. xiii-xiv

Author(s):

Jan Krajicek

Download Full-text

Comprehension and induction via quantifier elimination: a general reduction

Forcing with Random Variables and Proof Complexity ◽

10.1017/cbo9781139107211.011 ◽

2011 ◽

pp. 60-62

Author(s):

Jan Krajicek

Keyword(s):

Quantifier Elimination ◽

General Reduction

Download Full-text

Proof complexity generators: conjectures

Forcing with Random Variables and Proof Complexity ◽

10.1017/cbo9781139107211.032 ◽

2011 ◽

pp. 197-206 ◽

Cited By ~ 1

Author(s):

Jan Krajicek

Keyword(s):

Proof Complexity

Download Full-text

Propositional proof systems

Forcing with Random Variables and Proof Complexity ◽

10.1017/cbo9781139107211.019 ◽

2011 ◽

pp. 101-104

Author(s):

Jan Krajicek

Keyword(s):

Proof Systems ◽

Propositional Proof Systems ◽

Propositional Proof

Download Full-text

Theory Q2V01

Forcing with Random Variables and Proof Complexity ◽

10.1017/cbo9781139107211.015 ◽

2011 ◽

pp. 83-84

Author(s):

Jan Krajicek

Download Full-text

Forcing with Random Variables and Proof ComplexityLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Cambridge University Press

Sampling with oracles

Measure on ℬ

The truth in N and the validity in K(F)

Fundamental problems in proof complexity

Witnessing and independence in Q2V01

Preface

Comprehension and induction via quantifier elimination: a general reduction

Proof complexity generators: conjectures

Propositional proof systems

Theory Q2V01

Forcing with Random Variables and Proof Complexity
Latest Publications