Roberto Maieli
Orcid: 0000-0001-9723-7183
According to our database1,
Roberto Maieli
authored at least 16 papers
between 1999 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Proceedings 13th International Workshop on Developments in Computational Models, 2023
2022
Proceedings of the Logic, Language, Information, and Computation, 2022
2020
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020
2019
Math. Struct. Comput. Sci., 2019
2015
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing.
Proceedings of the Logic, Language, Information, and Computation, 2015
Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing.
Proceedings of the Formal Grammar - 20th and 21st International Conferences, 2015
2014
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
2012
2008
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.
Proceedings of the Logic for Programming, 2007
2006
Ann. Pure Appl. Log., 2006
2005
2003
Arch. Math. Log., 2003
1999
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999