The following pages link to What can be verified locally? (Q1672006):
Displaying 6 items.
- Deciding and verifying network properties locally with few output bits (Q1988527) (← links)
- A meta-theorem for distributed certification (Q2097341) (← links)
- Local certification of graphs with bounded genus (Q2104916) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Introduction to local certification (Q5024672) (← links)
- A meta-theorem for distributed certification (Q6182681) (← links)
