| |
| 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 | |
| 1 | Jean-Marc Andreoli | [1] [5] |
| 2 | Olivier Laurent | [7] |
| 3 | Quintijn Puite | [4] |
| 4 | Paul Ruet | [2] [5] |