• 1 WEST 4.55

Accepting Doctoral Students

20012018

Research output per year

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

Research Output

Filter
Article
2018

Subatomic Proof Systems: Splittable Systems

Aler Tubella, A. & Guglielmi, A., 28 Feb 2018, In : ACM Transactions on Computational Logic. 19, 1, p. 1-33 33 p., 5.

Research output: Contribution to journalArticle

Open Access
File
1 Citation (Scopus)
66 Downloads (Pure)
2016

Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae

Guglielmi, A., Bruscoli, P., Gundersen, T. & Parigot, M., 31 Dec 2016, In : Logical Methods in Computer Science. 12, 2, p. 1-30 30 p., 5.

Research output: Contribution to journalArticle

Open Access
3 Citations (Scopus)
80 Downloads (Pure)
2011

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

17 Citations (Scopus)

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
14 Citations (Scopus)
94 Downloads (Pure)
2009

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
37 Citations (Scopus)
209 Downloads (Pure)

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

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
33 Citations (Scopus)
133 Downloads (Pure)
2007

A system of interaction and structure

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

Research output: Contribution to journalArticle

86 Citations (Scopus)
2006

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

2 Citations (Scopus)