References of "Acclavio, Matteo 50039851"
Bookmark and Share    
Full Text
Peer Reviewed
See detailLogic Beyond Formulas: A Graphical Proof System
Horne, Ross James UL; Acclavio, Matteo UL; Straßburger, Lutz

in In 35th Annual ACM⁄IEEE Symposium on Logic in Computer Science (LICS ’20), July 8–11, 2020, Saarbrücken, Germany. ACM (2020)

Detailed reference viewed: 122 (4 UL)