The following pages link to (Q4598260):
Displayed 9 items.
- What can be verified locally? (Q1672006) (← links)
- Randomized proof-labeling schemes (Q2002054) (← links)
- Redundancy in distributed proofs (Q2025853) (← links)
- Compact distributed certification of planar graphs (Q2037111) (← links)
- Proof-labeling schemes: broadcast, unicast and in between (Q2672621) (← links)
- (Q5090916) (← links)
- (Q5090917) (← links)
- Fast distributed algorithms for testing graph properties (Q5915702) (← links)
- Approximate proof-labeling schemes (Q5919426) (← links)