Alessio Guglielmi

	2011
24		Lutz Straßburger, Alessio Guglielmi: A system of interaction and structure IV: The exponentials and decomposition. ACM Trans. Comput. Log. 12(4): 23 (2011)
23		Alessio Guglielmi, Lutz Straßburger: A system of interaction and structure V: the exponentials and splitting. Mathematical Structures in Computer Science 21(3): 563-584 (2011)
	2010
22		Alessio Guglielmi, Tom Gundersen, Lutz Straßburger: Breaking Paths in Atomic Flows for Classical Logic. LICS 2010: 284-293
21		Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot: A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. LPAR (Dakar) 2010: 136-153
20		Alessio Guglielmi, Tom Gundersen, Michel Parigot: A Proof Calculus Which Reduces Syntactic Bureaucracy. RTA 2010: 135-150
	2009
19		Paola Bruscoli, Alessio Guglielmi: On the proof complexity of deep inference. ACM Trans. Comput. Log. 10(2): (2009)
18		Lutz Straßburger, Alessio Guglielmi: A System of Interaction and Structure IV: The Exponentials and Decomposition CoRR abs/0903.5259: (2009)
17		Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot: Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae CoRR abs/0903.5392: (2009)
16		Alessio Guglielmi: Personal portrait of Giorgio Levi. Theor. Comput. Sci. 410(46): 4605-4607 (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

Coauthor Index

1	Paola Bruscoli	[3] [4] [8] [9] [10] [11] [13] [17] [19] [21]
2	Tom Gundersen	[12] [15] [17] [20] [21] [22]
3	G. Levi	[1]
4	Michel Parigot	[17] [20] [21]
5	Lutz Straßburger	[6] [7] [18] [22] [23] [24]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page