23 followers
"On the Proof Complexity of Cut-free Bounded Deep Inference" presented at Tableaux, appears in proceedings http://t.co/bCzAsXx .
"On the Proof Complexity of Cut-free Bounded Deep Inference" presented at Tableaux, appears in proceedings http://t.co/bCzAsXx .