Biblio MAIELI Roberto

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.

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.