1 | Add to Reading ListSource URL: cs.bath.ac.uk- Date: 2017-08-18 10:22:20
|
|---|
2 | Add to Reading ListSource URL: cs.bath.ac.uk- Date: 2017-12-24 06:56:58
|
|---|
3 | Add to Reading ListSource URL: cs.bath.ac.uk- Date: 2017-12-24 06:54:12
|
|---|
4![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](https://www.pdfsearch.io/img/41496bf2e095f69cd1a9bdd4b8b455ad.jpg "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 ListSource URL: arxiv.org- Date: 2017-12-04 22:18:34
|
|---|
5 | Add to Reading ListSource URL: kingcity.com- Date: 2015-08-12 18:25:26
|
|---|
6 | Add to Reading ListSource URL: aalertubelladotcom.files.wordpress.com- Date: 2016-04-12 16:45:01
|
|---|
7 | Add to Reading ListSource URL: cs.bath.ac.uk- Date: 2014-10-09 07:24:37
|
|---|
8 | Add to Reading ListSource URL: aalertubelladotcom.files.wordpress.com- Date: 2016-08-08 13:39:19
|
|---|
9 | Add to Reading ListSource URL: aalertubelladotcom.files.wordpress.com- Date: 2016-04-04 17:57:14
|
|---|
10![Subatomic Proof Systems Andrea Aler Tubella and Alessio Guglielmi University of Bath The proof theoretic methodology of deep inference [2] yields the widest range of analytic proof systems. In](https://www.pdfsearch.io/img/7913f9d18762823f63d77a823ae694ed.jpg "Subatomic Proof Systems Andrea Aler Tubella and Alessio Guglielmi University of Bath The proof theoretic methodology of deep inference [2] yields the widest range of analytic proof systems. In") | Add to Reading ListSource URL: aalertubelladotcom.files.wordpress.com- Date: 2016-04-04 17:54:35
|
|---|