×

zbMATH — the first resource for mathematics

Maieli, Roberto

Compute Distance To:
Author ID: maieli.roberto Recent zbMATH articles by "Maieli, Roberto"
Published as: Maieli, Roberto
Documents Indexed: 11 Publications since 1999

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 16 times in 8 Documents Cited by Year
Non-commutative logic. III: Focusing proofs. Zbl 1072.03035
Maieli, Roberto; Ruet, Paul
4
2003
Cyclic multiplicative proof nets of linear logic with an application to language parsing. Zbl 1365.03039
Abrusci, Vito Michele; Maieli, Roberto
2
2015
Construction of retractile proof structures. Zbl 1417.03224
Maieli, Roberto
2
2014
Retractile proof nets of the purely multiplicative and additive fragment of linear logic. Zbl 1137.03324
Maieli, Roberto
2
2007
A new correctness criterion for multiplicative non-commutative proof nets. Zbl 1025.03064
Maieli, Roberto
2
2003
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing. Zbl 06658630
Abrusci, Vito Michele; Maieli, Roberto
1
2016
Non-commutative proof construction: a constraint-based approach. Zbl 1175.03038
Andreoli, Jean-Marc; Maieli, Roberto; Ruet, Paul
1
2006
Modularity of proof-nets. Generating the type of a module. Zbl 1061.03071
Maieli, Roberto; Puite, Quintijn
1
2005
Focusing and proof-nets in linear and non-commutative logic. Zbl 0974.03050
Andreoli, Jean-Marc; Maieli, Roberto
1
1999
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing. Zbl 06658630
Abrusci, Vito Michele; Maieli, Roberto
1
2016
Cyclic multiplicative proof nets of linear logic with an application to language parsing. Zbl 1365.03039
Abrusci, Vito Michele; Maieli, Roberto
2
2015
Construction of retractile proof structures. Zbl 1417.03224
Maieli, Roberto
2
2014
Retractile proof nets of the purely multiplicative and additive fragment of linear logic. Zbl 1137.03324
Maieli, Roberto
2
2007
Non-commutative proof construction: a constraint-based approach. Zbl 1175.03038
Andreoli, Jean-Marc; Maieli, Roberto; Ruet, Paul
1
2006
Modularity of proof-nets. Generating the type of a module. Zbl 1061.03071
Maieli, Roberto; Puite, Quintijn
1
2005
Non-commutative logic. III: Focusing proofs. Zbl 1072.03035
Maieli, Roberto; Ruet, Paul
4
2003
A new correctness criterion for multiplicative non-commutative proof nets. Zbl 1025.03064
Maieli, Roberto
2
2003
Focusing and proof-nets in linear and non-commutative logic. Zbl 0974.03050
Andreoli, Jean-Marc; Maieli, Roberto
1
1999

Citations by Year