• 1 WEST 4.55

Accepting PhD Students

20012018
If you made any changes in Pure these will be visible here soon.

Research Output 2001 2018

Filter
Article
2018
1 Citation (Scopus)
23 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 journalArticle

Open Access
File
Blueprints
Cut-elimination
Proof System
Linear Logic
Atoms
2016
3 Citations (Scopus)
74 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 journalArticle

Open Access
File
2011
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 journalArticle

Flow graphs
Linear Logic
Decomposition
Compositionality
Decompose
13 Citations (Scopus)
56 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 journalArticle

File
Algebra
Cut-elimination
Linear Logic
Decomposition
Express
2009
36 Citations (Scopus)
89 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 journalArticle

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 journalArticle

2008
33 Citations (Scopus)
79 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 journalArticle

Open Access
File
Syntactics
Normalization
Atoms
Cut-elimination
Inference Rules
2007
82 Citations (Scopus)

A system of interaction and structure

Guglielmi, A., 2007, In : ACM Transactions on Computational Logic. 8, 1

Research output: Contribution to journalArticle

Sequent Calculus
Interaction
Calculus
Logical operator
Cut-elimination
2006
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 journalArticle

Proof Search
Linear Logic
Logic programming
Syntactics
First-order Logic