Roberto Maieli

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 7

Top Topics

Top Venues

Math. Struct. Comput. Sci.

Publications

Matteo Acclavio, Roberto Maieli
Logic Programming with Multiplicative Structures. CoRR (2024)
Roberto Maieli
A Proof of the Focusing Theorem via MALL Proof Nets. WoLLIC (2022)
Matteo Acclavio, Roberto Maieli
Generalized Connectives for Multiplicative Linear Logic. CSL (2020)
Roberto Maieli
Non decomposable connectives of linear logic. Ann. Pure Appl. Log. 170 (11) (2019)
V. Michele Abrusci, Roberto Maieli
Proof nets for multiplicative cyclic linear logic and Lambek calculus. Math. Struct. Comput. Sci. 29 (6) (2019)
Vito Michele Abrusci, Roberto Maieli
Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing. FG (2015)
Vito Michele Abrusci, Roberto Maieli
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing. WoLLIC (2015)
Roberto Maieli
Construction of Retractile Proof Structures. RTA-TLCA (2014)
Roberto Maieli
Bipolar Proof Nets for MALL CoRR (2012)
Olivier Laurent, Roberto Maieli
Cut Elimination for Monomial MALL Proof Nets. LICS (2008)
Roberto Maieli
Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic. LPAR (2007)
Jean-Marc Andreoli, Roberto Maieli, Paul Ruet
Non-commutative proof construction: A constraint-based approach. Ann. Pure Appl. Log. 142 (1-3) (2006)
Roberto Maieli, Quintijn Puite
Modularity of proof-nets. Arch. Math. Log. 44 (2) (2005)
Roberto Maieli, Paul Ruet
Non-commutative logic III: focusing proofs. Inf. Comput. 185 (2) (2003)
Roberto Maieli
A new correctness criterion for multiplicative non-commutative proof nets. Arch. Math. Log. 42 (3) (2003)
Jean-Marc Andreoli, Roberto Maieli
Fucusing and Proof-Nets in Linear and Non-commutative Logic. LPAR (1999)