Matteo Acclavio

Matteo Acclavio
Postadresse Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
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