2009 |
17 | EE | Paola Bruscoli,
Alessio Guglielmi:
On the proof complexity of deep inference.
ACM Trans. Comput. Log. 10(2): (2009) |
16 | EE | Lutz Straßburger,
Alessio Guglielmi:
A System of Interaction and Structure IV: The Exponentials and Decomposition
CoRR abs/0903.5259: (2009) |
15 | EE | Paola Bruscoli,
Alessio Guglielmi,
Tom Gundersen,
Michel Parigot:
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
CoRR abs/0903.5392: (2009) |
2007 |
14 | EE | Alessio Guglielmi:
A system of interaction and structure.
ACM Trans. Comput. Log. 8(1): (2007) |
13 | EE | Paola Bruscoli,
Alessio Guglielmi:
On the Proof Complexity of Deep Inference
CoRR abs/0709.1201: (2007) |
12 | EE | Alessio Guglielmi,
Tom Gundersen:
Normalisation Control in Deep Inference Via Atomic Flows
CoRR abs/0709.1205: (2007) |
2006 |
11 | EE | Paola Bruscoli,
Alessio Guglielmi:
On structuring proof search for first order linear logic.
Theor. Comput. Sci. 360(1-3): 42-76 (2006) |
2003 |
10 | EE | Paola Bruscoli,
Alessio Guglielmi:
A Tutorial on Proof Theoretic Foundations of Logic Programming.
ICLP 2003: 109-127 |
9 | EE | Paola Bruscoli,
Alessio Guglielmi:
On Structuring Proof Search for First Order Linear Logic.
LPAR 2003: 389-406 |
8 | EE | Paola Bruscoli,
Alessio Guglielmi:
On Structuring Proof Search for First Order Linear Logic
CoRR cs.LO/0312002: (2003) |
2002 |
7 | EE | Alessio Guglielmi,
Lutz Straßburger:
A Non-commutative Extension of MELL.
LPAR 2002: 231-246 |
2001 |
6 | EE | Alessio Guglielmi,
Lutz Straßburger:
Non-commutativity and MELL in the Calculus of Structures.
CSL 2001: 54-68 |
1999 |
5 | EE | 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 |