`Travelled to:`

1 × France

1 × India

1 × Italy

2 × United Kingdom

`Collaborated with:`

L.Straßburger T.Gundersen P.Bruscoli ∅ M.Parigot A.A.Tubella B.Ralph

`Talks about:`

proof (3) logic (3) calculus (2) program (2) bureaucraci (1) structur (1) sequenti (1) theoret (1) syntact (1) languag (1)

## Person: Alessio Guglielmi

### DBLP: Guglielmi:Alessio

### Contributed to:

### Wrote 6 papers:

- LICS-2010-GuglielmiGS #logic
- Breaking Paths in Atomic Flows for Classical Logic (AG, TG, LS), pp. 284–293.
- RTA-2010-GuglielmiGP #calculus #proving
- A Proof Calculus Which Reduces Syntactic Bureaucracy (AG, TG, MP), pp. 135–150.
- ICLP-2003-BruscoliG #logic programming #proving #tutorial
- A Tutorial on Proof Theoretic Foundations of Logic Programming (PB, AG), pp. 109–127.
- CSL-2001-GuglielmiS #calculus #commutative
- Non-commutativity and MELL in the Calculus of Structures (AG, LS), pp. 54–68.
- ICLP-1994-Guglielmi #concurrent #generative #logic programming #programming language
- Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator (AG), pp. 240–254.
- CSL-2017-TubellaGR #proving
- Removing Cycles from Proofs (AAT, AG, BR), p. 17.