A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae

13 years 2 months ago

Abstract. Jer

Paola Bruscoli, Alessio Guglielmi, Tom Gundersen,

Automated Reasoning | Cut-free Deep-inference Proofs | Deep-inference Proofs | LPAR 2010 | Propositional-logic Deepinference Proofs |

claim paper

Added	14 Feb 2011
Updated	14 Feb 2011
Type	Journal
Year	2010
Where	LPAR
Authors	Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot

Comments (0)