• 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

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)
2017

Removing Cycles from Proofs

Aler Tubella, A., Guglielmi, A. & Ralph, B., 20 Aug 2017.

Research output: Contribution to conferencePaper

File
4 Citations (Scopus)
33 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)
2015

Deep Inference

Guglielmi, A., 2015, All About Proofs, Proofs for All. College Publications, (Mathematical Logic and Foundations).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
56 Downloads (Pure)
2014

A logical basis for quantum evolution and entanglement

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. & Straßburger, L., 31 Dec 2014, Categories and Types in Logic, Language, and Physics. Casadio, C., Coecke, B., Moortgat, M. & Scott, P. (eds.). Springer, Vol. 8222. p. 90-107 18 p. (Lecture Notes in Computer Science; vol. 8222).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)
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)
2010

A proof calculus which reduces syntactic bureaucracy

Guglielmi, A., Gundersen, T. & Parigot, M., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 6. p. 135-150 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
19 Citations (Scopus)
46 Downloads (Pure)

A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae

Bruscoli, P., Guglielmi, A., Gundersen, T. & Parigot, M., 2010, Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, revised selected papers. Clarke, E. M. & Voronkov, A. (eds.). Berlin: Springer, p. 136-153 18 p. (Lecture Notes in Computer Science; vol. 6355).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
11 Citations (Scopus)
115 Downloads (Pure)

Breaking paths in atomic flows for classical logic

Guglielmi, A., Gundersen, T. & Straburger, L., Jul 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science, LICS . IEEE, p. 284-293 10 p. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
14 Citations (Scopus)
135 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)
2005

The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference

Guglielmi, A., 2005, p. 53-68. 16 p.

Research output: Contribution to conferencePaper

2004

A First Order System with Finite Choice of Premises

Bruennler, K. & Guglielmi, A., 2004, First-Order Logic Revisited. Hendricks, V. F., Neuhaus, F., Andur Pederson, S., Scheffler, U. & Wansing, H. (eds.). Logos Verlag, p. 59-74 16 p. (Logische Philosophie).

Research output: Chapter in Book/Report/Conference proceedingChapter

A Non-commutative Extension of Multiplicative Exponential Linear Logic

Guglielmi, A. & Straßburger, L., 2004, Technische Universitaet Dresden.

Research output: Working paperDiscussion paper

2003

A Tutorial on Proof Theoretic Foundations of Logic Programming

Bruscoli, P. & Guglielmi, A., 2003, Logic Programming, 19th International Conference - Lecture Notes in Computer Science. Springer, Vol. 2916. p. 109-127 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

On Structuring Proof Search for First Order Linear Logic

Bruscoli, P. & Guglielmi, A., 2003, p. 389-406. 18 p.

Research output: Contribution to conferencePaper

2002

A Non-commutative Extension of MELL

Guglielmi, A. & Strassburger, L., Oct 2002, p. 231-246. 16 p.

Research output: Contribution to conferencePaper

18 Citations (Scopus)
2001

Non-commutativity and MELL in the Calculus of Structures

Guglielmi, A. & Strassburger, L., Sep 2001, p. 54-68. 15 p.

Research output: Contribution to conferencePaper

63 Citations (Scopus)