The following pages link to (Q4967211):
Displayed 6 items.
- What can be verified locally? (Q1672006) (← links)
- On mobile agent verifiable problems (Q1753994) (← links)
- Deciding and verifying network properties locally with few output bits (Q1988527) (← links)
- A Time Hierarchy Theorem for the LOCAL Model (Q4646447) (← links)
- How long it takes for an ordinary node with an ordinary ID to output? (Q5916003) (← links)
- Approximate proof-labeling schemes (Q5919426) (← links)