Pages that link to "Item:Q2097341"
From MaRDI portal
The following pages link to A meta-theorem for distributed certification (Q2097341):
Displaying 5 items.
- Local certification of graphs with bounded genus (Q2104916) (← links)
- On mixed connectivity certificates (Q6102287) (← links)
- Lower bound for constant-size local certification (Q6155248) (← links)
- The hardness of local certification of finite-state dynamics (Q6547916) (← links)
- Locally verifiable distributed SNARGs (Q6581783) (← links)