Search the dblp DataBase

Publications of Author

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