On the Proof Complexity of Deep Inference Paola Bruscoli and Alessio Guglielmi University of Bath, Bath BA2 7AY, UK - Deep inference - Document - PDFSEARCH.IO

First Page	Meta Content
	On the Proof Complexity of Deep Inference Paola Bruscoli and Alessio Guglielmi University of Bath, Bath BA2 7AY, UK Add to Reading List Document Date: 2008-02-22 04:38:54 Open Document File Size: 335,07 KB Share Result on Facebook

On the Proof Complexity of Deep Inference Paola Bruscoli and Alessio Guglielmi University of Bath, Bath BA2 7AY, UKAdd to Reading List