Roberto Maieli

According to our database, Roberto Maieli authored at least 16 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Logic Programming with Multiplicative Structures.

Matteo Acclavio, Roberto Maieli

CoRR, 2024

2022

A Proof of the Focusing Theorem via MALL Proof Nets.

Roberto Maieli

Proceedings of the Logic, Language, Information, and Computation, 2022

2020

Generalized Connectives for Multiplicative Linear Logic.

Matteo Acclavio, Roberto Maieli

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Proof nets for multiplicative cyclic linear logic and Lambek calculus.

V. Michele Abrusci, Roberto Maieli

Math. Struct. Comput. Sci., 2019

Non decomposable connectives of linear logic.

Roberto Maieli

Ann. Pure Appl. Log., 2019

2015

Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing.

Vito Michele Abrusci, Roberto Maieli

Proceedings of the Logic, Language, Information, and Computation, 2015

Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing.

Vito Michele Abrusci, Roberto Maieli

Proceedings of the Formal Grammar - 20th and 21st International Conferences, 2015

2014

Construction of Retractile Proof Structures.

Roberto Maieli

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2012

Bipolar Proof Nets for MALL

Roberto Maieli

CoRR, 2012

2008

Cut Elimination for Monomial MALL Proof Nets.

Olivier Laurent, Roberto Maieli

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2007

Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic.

Roberto Maieli

Proceedings of the Logic for Programming, 2007

2006

Non-commutative proof construction: A constraint-based approach.

Jean-Marc Andreoli, Roberto Maieli, Paul Ruet

Ann. Pure Appl. Log., 2006

2005

Modularity of proof-nets.

Roberto Maieli, Quintijn Puite

Arch. Math. Log., 2005

2003

Non-commutative logic III: focusing proofs.

Roberto Maieli, Paul Ruet

Inf. Comput., 2003

A new correctness criterion for multiplicative non-commutative proof nets.

Roberto Maieli

Arch. Math. Log., 2003

1999

Fucusing and Proof-Nets in Linear and Non-commutative Logic.

Jean-Marc Andreoli, Roberto Maieli

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999