Dr. Matteo Acclavio

Matteo Acclavio

Postdoctoral researcher

Faculté ou Centre Faculté des Sciences, des Technologies et de Médecine
Department Département Informatique
Adresse postale Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Bureau sur le campus MNO, E03 0335-140
E-mail
Téléphone (+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