• 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
Paper
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)
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

2003

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)