Pages that link to "Item:Q1742756"
From MaRDI portal
The following pages link to Space-time tradeoffs for distributed verification (Q1742756):
Displaying 10 items.
- Randomized proof-labeling schemes (Q2002054) (← links)
- Redundancy in distributed proofs (Q2025853) (← 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)
- (Q5090917) (← links)
- (Q5361957) (redirect page) (← links)
- Approximate proof-labeling schemes (Q5919426) (← links)
- Lower bound for constant-size local certification (Q6155248) (← links)
