Title
Expressing versus Proving: Relating Forms of Complexity in Logic.
Year
Venue
Field
2012
J. Log. Comput.
Quantum complexity theory,PH,Complexity class,Average-case complexity,Discrete mathematics,Structural complexity theory,Algorithm,Descriptive complexity theory,Proof complexity,Worst-case complexity,Mathematics
DocType
Volume
Issue
Journal
22
2
Citations 
PageRank 
References 
0
0.34
3
Authors
1
Name
Order
Citations
PageRank
Antonina Kolokolova15010.09