| 2008 |
|---|
| 7 | EE | Olivier Laurent,
Roberto Maieli:
Cut Elimination for Monomial MALL Proof Nets.
LICS 2008: 486-497 |
| 2007 |
|---|
| 6 | EE | Roberto Maieli:
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic.
LPAR 2007: 363-377 |
| 2006 |
|---|
| 5 | EE | 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 | EE | Roberto Maieli,
Quintijn Puite:
Modularity of proof-nets.
Arch. Math. Log. 44(2): 167-193 (2005) |
| 2003 |
|---|
| 3 | EE | Roberto Maieli:
A new correctness criterion for multiplicative non-commutative proof nets.
Arch. Math. Log. 42(3): 205-220 (2003) |
| 2 | EE | 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 |
