Roberto Maieli

	2008
7		Olivier Laurent, Roberto Maieli: Cut Elimination for Monomial MALL Proof Nets. LICS 2008: 486-497
	2007
6		Roberto Maieli: Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic. LPAR 2007: 363-377
	2006
5		Jean-Marc Andreoli, Roberto Maieli, Paul Ruet: Non-commutative proof construction: A constraint-based approach. Ann. Pure Appl. Logic 142(1-3): 212-244 (2006)
	2005
4		Roberto Maieli, Quintijn Puite: Modularity of proof-nets. Arch. Math. Log. 44(2): 167-193 (2005)
	2003
3		Roberto Maieli: A new correctness criterion for multiplicative non-commutative proof nets. Arch. Math. Log. 42(3): 205-220 (2003)
2		Roberto Maieli, Paul Ruet: Non-commutative logic III: focusing proofs. Inf. Comput. 185(2): 233-262 (2003)
	1999
1		Jean-Marc Andreoli, Roberto Maieli: Fucusing and Proof-Nets in Linear and Non-commutative Logic. LPAR 1999: 321-336

Coauthor Index

1	Jean-Marc Andreoli	[1] [5]
2	Olivier Laurent	[7]
3	Quintijn Puite	[4]
4	Paul Ruet	[2] [5]

Colors in the list of coauthors