Search
Startseite // Forschung // FSTM // DCS // Mitglieder // Matteo Acclavio
Imprimer

Matteo Acclavio

Matteo Acclavio
Postadresse Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

2022

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

2020

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