Alessio Guglielmi

Reader, Department of Computer Science

https://orcid.org/0000-0002-7234-2347

Phone+44 (0) 1225 386274
EmailA.Guglielmi@bath.ac.uk

1 WEST 4.55

Accepting Doctoral Students

Research output per year

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

Research Output

9 Article
5 Chapter
5 Paper
2 Conference contribution
1 More
- 1 Discussion paper

9 results

Filter

A system of interaction and structure

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

Research output: Contribution to journal › Article

85 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

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 journal › Article

File

14 Citations (Scopus)

89 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

33 Citations (Scopus)

124 Downloads (Pure)

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

2 Citations (Scopus)

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

37 Citations (Scopus)

134 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 journal › Article

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 journal › Article

Open Access

3 Citations (Scopus)

80 Downloads (Pure)

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 journal › Article

Open Access

File

1 Citation (Scopus)

64 Downloads (Pure)