On the Proof Complexity of Deep Inference Paola Bruscoli and Alessio Guglielmi University of Bath, Bath BA2 7AY, UK

First Page		Document Content
Date: 2008-02-22 04:38:54		On the Proof Complexity of Deep Inference Paola Bruscoli and Alessio Guglielmi University of Bath, Bath BA2 7AY, UK Add to Reading List Source URL: tocl.acm.org Download Document from Source Website File Size: 335,07 KB Share Document on Facebook