SUBATOMIC PROOF SYSTEMS: SPLITTABLE SYSTEMS arXiv:1703.10258v2 [cs.LO] 4 Dec 2017 ANDREA ALER TUBELLA AND ALESSIO GUGLIELMI Abstract. This paper presents the first in a series of results that allow us to

First Page		Document Content
Date: 2017-12-04 22:18:34		SUBATOMIC PROOF SYSTEMS: SPLITTABLE SYSTEMS arXiv:1703.10258v2 [cs.LO] 4 Dec 2017 ANDREA ALER TUBELLA AND ALESSIO GUGLIELMI Abstract. This paper presents the first in a series of results that allow us to Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 352,67 KB Share Document on Facebook