scientific article; zbMATH DE number 7075912
From MaRDI portal
Publication:4967211
zbMath1409.68043arXiv1606.04434MaRDI QIDQ4967211
Pierre Fraigniaud, Laurent Feuilloley
Publication date: 3 July 2019
Full work available at URL: https://arxiv.org/abs/1606.04434
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
What can be verified locally? ⋮ Distributed Testing of Distance-k Colorings ⋮ A hierarchy of local decision ⋮ Deciding and verifying network properties locally with few output bits ⋮ A Time Hierarchy Theorem for the LOCAL Model ⋮ On mobile agent verifiable problems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Redundancy in distributed proofs ⋮ How long it takes for an ordinary node with an ordinary ID to output? ⋮ Approximate proof-labeling schemes ⋮ Compact distributed certification of planar graphs ⋮ Graph Classes and Forbidden Patterns on Three Vertices ⋮ Proof labeling schemes for reachability-related problems in directed graphs ⋮ Introduction to local certification
This page was built for publication: