Prof. ROBERTO MAIELI
Qualifica | Professore Associato |
Settore Scientifico Disciplinare | MATH-01/A |
Telefono | 0657338419 |
Cellulare aziendale | 89851 |
roberto.maieli@uniroma3.it | |
Indirizzo | Via della Vasca Navale 84 |
Struttura/Afferenza |
|
Altre informazioni | Sito web personale Curriculum |
Qualora le informazioni riportate a lato risultino assenti, incomplete o errate leggi le seguenti istruzioni
Per telefonare da un edificio dell'Ateneo all'altro SE il numero unico inizia con "06 5733xxxx" basta comporre le ultime quattro cifre del numero esteso.
Profilo
INSEGNAMENTI
Prodotti della ricerca
Avvisi
Ricevimento e materiale didattico
Per telefonare da un edificio dell'Ateneo all'altro SE il numero unico inizia con "06 5733xxxx" basta comporre le ultime quattro cifre del numero esteso.
Contributo in Rivista
- Non decomposable connectives of linear logic, MAIELI, ROBERTO, , 2019Link identifier #identifier_person_143141-1 Dettaglio
- Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus, MAIELI, ROBERTO; ABRUSCI, VITO MICHELE, , 2019Link identifier #identifier_person_112766-2 Dettaglio
- Non-commutative proof construction: a constraint-based approach, MAIELI, ROBERTO, , 2006Link identifier #identifier_person_88363-3 Dettaglio
- Modularity of proof nets: generating the type of a module, MAIELI, ROBERTO, , 2005Link identifier #identifier_person_29348-4 Dettaglio
- A new correctness criterion for multiplicative non commutative proof-nets, MAIELI, ROBERTO, , 2003Link identifier #identifier_person_105437-5 Dettaglio
- Non-commutative logic III : focusing proofs, MAIELI, ROBERTO, , 2003Link identifier #identifier_person_135431-6 Dettaglio
Libro
- MAIELI, ROBERTO, Cut Elimination for Monomial Proof Nets of the Purely Multiplicativeand Additive Fragment of Linear Logic, vol. 140, pp. 1 23, 2008 Link identifier #identifier_person_34085-7Dettaglio
- MAIELI, ROBERTO, Focalizzazione delle prove in logica non-commutativa, 2000 Link identifier #identifier_person_193848-8Dettaglio
Contributo in volume e atti di convegno
- ACCLAVIO, MATTEO; MAIELI, ROBERTO, Logic Programming with Multiplicative Structures, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, issn 2075-2180, vol. 408, pp. 42 61, 2024 Link identifier #identifier_person_99968-9Dettaglio
- MAIELI, ROBERTO, A Proof of the Focusing Theorem via MALL Proof Nets, vol. 13468, pp. 1 17, 2022 Link identifier #identifier_person_9319-10Dettaglio
- MAIELI, ROBERTO, Probabilistic logic programming with multiplicative modules, vol. lirmm-03271511, 2021 Link identifier #identifier_person_140453-11Dettaglio
- ACCLAVIO, MATTEO; MAIELI, ROBERTO, Generalized connectives for multiplicative linear logic, issn 1868-8969, vol. 152, pp. 1 16, 2020 Link identifier #identifier_person_76400-12Dettaglio
- ABRUSCI, VITO MICHELE; MAIELI, ROBERTO, Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing, issn 0302-9743, vol. 9804, pp. 43 59, 2016 Link identifier #identifier_person_5743-13Dettaglio
- ABRUSCI, VITO MICHELE; MAIELI, ROBERTO, Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing, vol. 9160, pp. 53 68, 2015 Link identifier #identifier_person_8688-14Dettaglio
- MAIELI, ROBERTO, Construction of retractile proof structures, LECTURE NOTES IN COMPUTER SCIENCE, issn 0302-9743, vol. 8560, pp. 319 333, 2014 Link identifier #identifier_person_150616-15Dettaglio
- MAIELI, ROBERTO, Construction of Bipolar Focussing Proof Structures, 2013 Link identifier #identifier_person_2531-16Dettaglio
- MAIELI, ROBERTO, Contractible Proof Structures, 2013 Link identifier #identifier_person_32567-17Dettaglio
- MAIELI, ROBERTO, Bipolar Proof Nets for MALL, 2012 Link identifier #identifier_person_58541-18Dettaglio
- MAIELI, ROBERTO, Transactional Nets, 2010 Link identifier #identifier_person_11223-19Dettaglio
- MAIELI, ROBERTO, Cut Elimination for Monomial MALL Proof Nets, pp. 486 497, 2008 Link identifier #identifier_person_87917-20Dettaglio
- MAIELI, ROBERTO, Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic, issn 0302-9743, vol. 4790, pp. 363 377, 2007 Link identifier #identifier_person_162357-21Dettaglio
- MAIELI, ROBERTO, Interactive correctness criterion for multiplicative-additive proof-nets, 2006 Link identifier #identifier_person_90885-22Dettaglio
- MAIELI, ROBERTO, Focusing and proof-nets in linear and non commutative logic, LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, vol. 1705, pp. 320 336, 1999 Link identifier #identifier_person_116993-23Dettaglio