Dr. Matteo Acclavio
|
|
||||
| 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 | ||||
|
|||||
| Telefon | (+352) 46 66 44 9270 | ||||
| Fax | (+352) 46 66 44 39270 | ||||
powered by
2020
Logic Beyond Formulas: A Graphical Proof System; ;
in In 35th Annual ACM⁄IEEE Symposium on Logic in Computer Science (LICS ’20), July 8–11, 2020, Saarbrücken, Germany. ACM (2020)
