 | 2009 |
|---|
| 18 |       | Paola Bruscoli,
Alessio Guglielmi:
On the proof complexity of deep inference.
ACM Trans. Comput. Log. 10(2): (2009) |
| 17 | | Lutz Straßburger,
Alessio Guglielmi:
A System of Interaction and Structure IV: The Exponentials and Decomposition
CoRR abs/0903.5259: (2009) |
| 16 | | Paola Bruscoli,
Alessio Guglielmi,
Tom Gundersen,
Michel Parigot:
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
CoRR abs/0903.5392: (2009) |
| 2008 |
|---|
| 15 | | Alessio Guglielmi,
Tom Gundersen:
Normalisation Control in Deep Inference via Atomic Flows.
Logical Methods in Computer Science 4(1): (2008) |
| 2007 |
|---|
| 14 | | Alessio Guglielmi:
A system of interaction and structure.
ACM Trans. Comput. Log. 8(1): (2007) |
| 13 | | Paola Bruscoli,
Alessio Guglielmi:
On the Proof Complexity of Deep Inference
CoRR abs/0709.1201: (2007) |
| 12 | | Alessio Guglielmi,
Tom Gundersen:
Normalisation Control in Deep Inference Via Atomic Flows
CoRR abs/0709.1205: (2007) |
| 2006 |
|---|
| 11 | | Paola Bruscoli,
Alessio Guglielmi:
On structuring proof search for first order linear logic.
Theor. Comput. Sci. 360(1-3): 42-76 (2006) |
| 2003 |
|---|
| 10 | | Paola Bruscoli,
Alessio Guglielmi:
A Tutorial on Proof Theoretic Foundations of Logic Programming.
ICLP 2003: 109-127 |
| 9 | | Paola Bruscoli,
Alessio Guglielmi:
On Structuring Proof Search for First Order Linear Logic.
LPAR 2003: 389-406 |
| 8 | | Paola Bruscoli,
Alessio Guglielmi:
On Structuring Proof Search for First Order Linear Logic
CoRR cs.LO/0312002: (2003) |
| 2002 |
|---|
| 7 | | Alessio Guglielmi,
Lutz Straßburger:
A Non-commutative Extension of MELL.
LPAR 2002: 231-246 |
| 2001 |
|---|
| 6 | | Alessio Guglielmi,
Lutz Straßburger:
Non-commutativity and MELL in the Calculus of Structures.
CSL 2001: 54-68 |
| 1999 |
|---|
| 5 | | Alessio Guglielmi:
A System of Interaction and Structure
CoRR cs.LO/9910023: (1999) |
| 1995 |
|---|
| 4 |  | Paola Bruscoli,
Alessio Guglielmi:
A Linear Logic Programming Language with Parallel and Sequential Conjunction.
GULP-PRODE 1995: 409-420 |
| 1994 |
|---|
| 3 | | Paola Bruscoli,
Alessio Guglielmi:
Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency.
GULP-PRODE (2) 1994: 221-237 |
| 2 | | Alessio Guglielmi:
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator.
ICLP 1994: 240-254 |
| 1993 |
|---|
| 1 | | Alessio Guglielmi,
G. Levi:
Chemical Logic Programming?
GULP 1993: 39-54 |
