The following pages link to (Q4636605):
Displaying 7 items.
- Redundancy in distributed proofs (Q2025853) (← links)
- Compact distributed certification of planar graphs (Q2037111) (← links)
- What Can be Computed Locally? (Q4862796) (← links)
- Redundancy in distributed proofs (Q5090916) (← links)
- What can be decided locally without identifiers? (Q5176091) (← links)
- What Can be Sampled Locally? (Q5368952) (← links)
- Approximate proof-labeling schemes (Q5919426) (← links)