The following pages link to A hierarchy of local decision (Q2219059):
Displaying 13 items.
- Hierarchical decision procedure (Q1364075) (← links)
- What can be verified locally? (Q1672006) (← links)
- 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)
- Locally checkable proofs in distributed computing (Q3179347) (← links)
- (Q4598260) (← links)
- (Q4967233) (← links)
- Introduction to local certification (Q5024672) (← links)
- What can be decided locally without identifiers? (Q5176091) (← links)
- On the Impact of Identifiers on Local Decision (Q5499979) (← links)
- A meta-theorem for distributed certification (Q6182681) (← links)
- The hardness of local certification of finite-state dynamics (Q6547916) (← links)