Matteo Acclavio
|
|
||||
| Postadresse |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
powered by
2020
Logic Beyond Formulas: A Graphical Proof System; ;
in LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (2020)
