Home // Research // FSTM // DCS // Members // Matteo Acclavio

Matteo Acclavio

Matteo Acclavio
Postal Address Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by


Full Text
See detailA Graphical Proof Theory of Logical Time
Acclavio, Matteo; Horne, Ross James; Mauw, Sjouke; Straßburger, Lutz

in Felty, Amy P. (Ed.) Proc. 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022) (2022)

Top of Page


Full Text
See detailLogic Beyond Formulas: A Graphical Proof System
Horne, Ross James; Acclavio, Matteo; Straßburger, Lutz

in LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (2020)

Top of Page