Horne, Ross James ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Acclavio, Matteo ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Straßburger, Lutz
External co-authors :
yes
Language :
English
Title :
Logic Beyond Formulas: A Graphical Proof System
Publication date :
2020
Event name :
35th Annual ACM/IEEE Symposium on Logic in Computer Science
Event date :
July 2020
Main work title :
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science