Search Results - "2012 ACM Subject Classification D.1.3 Concurrent Programming (Distributed programming)"

Local certification of graphs with bounded genus

Authors: Feuilloley, Laurent Fraigniaud, Pierre Montealegre, Pedro et al.

Contributors: Feuilloley, Laurent Fraigniaud, Pierre Montealegre, Pedro et al.

Source: Discrete Applied Mathematics. 325:9-36

Subject Terms: FOS: Computer and information sciences, [INFO.INFO-DC]Computer Science [cs]/Distributed, 0102 computer and information sciences, Parallel, 01 natural sciences, and Cluster Computing [cs.DC], 2012 ACM Subject Classification D.1.3 Concurrent Programming (Distributed programming), Computer Science - Distributed, Parallel, and Cluster Computing, proof-labeling scheme, Local certification, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], locally checkable proofs, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics

File Description: application/pdf

Access URL: http://arxiv.org/abs/2007.08084