References of "Acclavio, Matteo 50039851"
     in
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 LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (2020)

Detailed reference viewed: 144 (5 UL)