The following pages link to Interactive Distributed Proofs (Q5197691):
Displaying 13 items.
- Deciding and verifying network properties locally with few output bits (Q1988527) (← links)
- Redundancy in distributed proofs (Q2025853) (← links)
- Compact distributed certification of planar graphs (Q2037111) (← links)
- A meta-theorem for distributed certification (Q2097341) (← links)
- Distributed interactive proofs for the recognition of some geometric intersection graph classes (Q2097349) (← links)
- Local certification of graphs with bounded genus (Q2104916) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Proof-labeling schemes: broadcast, unicast and in between (Q2672621) (← links)
- Introduction to local certification (Q5024672) (← links)
- (Q5090916) (← links)
- Distributed Testing of Distance-k Colorings (Q5100965) (← links)
- (Q6065460) (← links)
- A meta-theorem for distributed certification (Q6182681) (← links)
