Dr. Matteo Acclavio

Matteo Acclavio

Postdoctoral researcher

Fakultät oder Zentrum Fakultät für Naturwissenschaften, Technologie und Medizin
Department Fachbereich Informatik
Postadresse Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Büroadresse MNO, E03 0335-140
E-Mail
Telefon (+352) 46 66 44 9270
Fax (+352) 46 66 44 39270
powered by
orbilu.uni.lu

2020

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