Profil

ACCLAVIO Matteo

Main Referenced Co-authors
HORNE, Ross James  (2)
Straßburger, Lutz (2)
MAUW, Sjouke  (1)
Main Referenced Disciplines
Computer science (2)

Publications (total 2)

The most downloaded
68 downloads
Horne, R. J., Acclavio, M., & Straßburger, L. (2020). Logic Beyond Formulas: A Graphical Proof System. In LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 38-52). doi:10.1145/3373718.3394763 https://hdl.handle.net/10993/44426

The most cited

7 citations (Scopus®)

Horne, R. J., Acclavio, M., & Straßburger, L. (2020). Logic Beyond Formulas: A Graphical Proof System. In LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 38-52). doi:10.1145/3373718.3394763 https://hdl.handle.net/10993/44426

Acclavio, M., Horne, R. J., Mauw, S., & Straßburger, L. (2022). A Graphical Proof Theory of Logical Time. In A. P. Felty (Ed.), Proc. 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022) (pp. 22:1-22:25). Germany: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik. doi:10.4230/LIPIcs.FSCD.2022.22
Peer reviewed

Horne, R. J., Acclavio, M., & Straßburger, L. (2020). Logic Beyond Formulas: A Graphical Proof System. In LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 38-52). doi:10.1145/3373718.3394763
Peer reviewed

Contact ORBilu