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

Dr. Matteo Acclavio

Matteo Acclavio

Postdoctoral researcher

Faculty or Centre Faculty of Science, Technology and Medicine
Department Department of Computer Science
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E03 0335-140
Telephone (+352) 46 66 44 9270
Fax (+352) 46 66 44 39270
powered by


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

in In 35th Annual ACM⁄IEEE Symposium on Logic in Computer Science (LICS ’20), July 8–11, 2020, Saarbrücken, Germany. ACM (2020)

Top of Page