Results 1-1 of 1.

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: 116 (4 UL)