A meta-theorem for distributed certification
type: Item
instance of: scholarly article
title: A meta-theorem for distributed certification
DOI: 10.1007/978-3-031-09993-9_7
author: Pierre Fraigniaud
author: Pedro Montealegre
author: Ivan Rapaport
author: Ioan Todinca
publication date: 2022-11-11T00:00:00Z
full work available at URL: https://arxiv.org/abs/2112.03195
Mathematics Subject Classification ID: 68Mxx
Mathematics Subject Classification ID: 68Q11
Mathematics Subject Classification ID: 68R10
zbMATH DE Number: 7615854
zbMATH Keywords: proof-labeling scheme
zbMATH Keywords: locally checkable proof
zbMATH Keywords: fault-tolerance
zbMATH Keywords: distributed decision
MaRDI profile type: Publication
OpenAlex ID: W4285284525
cites work: The local detection paradigm and its applications to self-stabilization
cites work: What can be verified locally?
cites work: A partial k-arboretum of graphs with bounded treewidth
cites work: Twin-width I: Tractable FO Model Checking
cites work: Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families
cites work: Approximate proof-labeling schemes
cites work: The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
cites work: Q3077955
cites work: A hierarchy of local decision
cites work: Towards a complexity theory for local distributed computing
cites work: Randomized proof-labeling schemes
cites work: Q3179347
cites work: Deciding First-Order Properties of Nowhere Dense Graphs
cites work: Interactive Distributed Proofs
cites work: Proof labeling schemes
cites work: Beyond classes of graphs with ``few'' minimal separators: FPT results through potential maximal cliques
cites work: The Power of Distributed Verifiers in Interactive Proofs
cites work: Graph minors. III. Planar tree-width
description: scientific article; zbMATH DE number 7615854