Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Roberto MAIELI

Année
Publications
Files &
Ref.IML
2006 Andreoli Jean-Marc, Maieli Roberto, Ruet Paul.
Non-commutative proof construction: a constraint-based approach.
Ann. Pure Appl. Logic 142(1-3) : 212--244, 2006.
 
2003

Maieli Roberto, Ruet Paul.
Non-commutative logic. III. Focusing proofs.
Inform. and Comput. 185, no. 2, 233--262, 2003.

 
1999 Andreoli Jean-Marc and Maieli Roberto.
Focusing and proof-nets in linear and non-commutative logic.
Logic for programming and automated reasoning (Tbilisi, 1999), 320--336, Lecture Notes in Comput. Sci., 1705, Springer, Berlin, 1999.
 



Last update : february 14, 2007, EL.