Searching for "On the Proof Complexity of Deep Inference" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

On the proof complexity of deep inference
by Paola Bruscoli, Alessio Guglielmi — 2007 — In Proof, Computation, Complexity (PCC
…arXiv:0709.1201v2 [cs.CC] 11 Feb 2008 ON THE PROOF COMPLEXITY OF DEEP INFERENCE PAOLA BRUSCOLI…
Cited by 6 (1 self) – Add To MetaCart

Logic and Formal Languages]: Mathematical Logic—Proof theory
by Paola Bruscoli, Alessio Guglielmi
…On the Proof Complexity of Deep Inference Paola Bruscoli and Alessio Guglielmi University of Bath…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB