Research Output per year
Research Output 2001 2018
82
Citations
(Scopus)
A system of interaction and structure
Guglielmi, A., 2007, In : ACM Transactions on Computational Logic. 8, 1Research output: Contribution to journal › Article
Sequent Calculus
Interaction
Calculus
Logical operator
Cut-elimination
15
Citations
(Scopus)
A system of interaction and structure IV: The exponentials and decomposition
Straburger, L. & Guglielmi, A., Jul 2011, In : ACM Transactions on Computational Logic. 12, 4, 23.Research output: Contribution to journal › Article
Flow graphs
Linear Logic
Decomposition
Compositionality
Decompose
13
Citations
(Scopus)
60
Downloads
(Pure)
A system of interaction and structure V: the exponentials and splitting
Guglielmi, A. & Straburger, L., Jun 2011, In : Mathematical Structures in Computer Science. 21, 3, p. 563-584 22 p.Research output: Contribution to journal › Article
File
Algebra
Cut-elimination
Linear Logic
Decomposition
Express
33
Citations
(Scopus)
83
Downloads
(Pure)
Normalisation control in deep inference via atomic flows
Guglielmi, A. & Gundersen, T., 31 Mar 2008, In : Logical Methods in Computer Science. 4, 1, p. 1-36 36 p., 9.Research output: Contribution to journal › Article
Open Access
File
Syntactics
Normalization
Atoms
Cut-elimination
Inference Rules
2
Citations
(Scopus)
On Structuring Proof Search for First Order Linear Logic
Bruscoli, P. & Guglielmi, A., 2006, In : Theoretical Computer Science. 360, 1-3, p. 42-76 35 p.Research output: Contribution to journal › Article
Proof Search
Linear Logic
Logic programming
Syntactics
First-order Logic
36
Citations
(Scopus)
93
Downloads
(Pure)
On the proof complexity of deep inference
Bruscoli, P. & Guglielmi, A., Feb 2009, In : ACM Transactions on Computational Logic. 10, 2, 34 p., 14.Research output: Contribution to journal › Article
Open Access
File
Proof Complexity
Proof System
Substitution reactions
Substitution
Speedup
Personal portrait of Giorgio Levi
Guglielmi, A., 2009, In : Theoretical Computer Science. 410, 46, p. 4605-4607 3 p.Research output: Contribution to journal › Article
3
Citations
(Scopus)
78
Downloads
(Pure)
Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae
Guglielmi, A., Bruscoli, P., Gundersen, T. & Parigot, M., 3 May 2016, In : Logical Methods in Computer Science. 12, 2, p. 1-30 30 p., 5.Research output: Contribution to journal › Article
Open Access
File
1
Citation
(Scopus)
24
Downloads
(Pure)
Subatomic Proof Systems: Splittable Systems
Aler Tubella, A. & Guglielmi, A., 1 Feb 2018, In : ACM Transactions on Computational Logic. 19, 1, p. 1-33 33 p., 5.Research output: Contribution to journal › Article
Open Access
File
Blueprints
Cut-elimination
Proof System
Linear Logic
Atoms