Sciweavers

LPAR
2010
Springer

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

13 years 8 months ago
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
Abstract. Jer
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen,
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)