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 LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (2020)

Top of Page