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 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