A Meta-Theorem for Distributed Certification
Pierre Fraigniaud, Pedro Montealegre, Iván Rapaport, Ioan Todinca
Topics & Concepts
Computer sciencePredicate (mathematical logic)SoundnessTheoretical computer scienceDiscrete mathematicsMathematical proofCertificateMathematicsProgramming languageGeometryComplexity and Algorithms in GraphsDistributed systems and fault toleranceAdvanced Graph Theory Research