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

researchr

You are not signed in
Sign in
Sign up

Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot. A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. In Edmund M. Clarke, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers. Volume 6355 of Lecture Notes in Computer Science, pages 136-153, Springer, 2010. [doi]

This author has not been identified. Look up 'Paola Bruscoli' in GoogleThis author has not been identified. Look up 'Alessio Guglielmi' in GoogleThis author has not been identified. Look up 'Tom Gundersen' in GoogleThis author has not been identified. Look up 'Michel Parigot' in Google

runs on WebDSL