Laurent Feuilloley, Juho Hirvonen. Local Verification of Global Proofs. In Ulrich Schmid 0001, Josef Widder, editors, 32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018. Volume 121 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
Abstract is missing.