Pages that link to "Item:Q5146838"
From MaRDI portal
The following pages link to The Power of Distributed Verifiers in Interactive Proofs (Q5146838):
Displayed 7 items.
- Redundancy in distributed proofs (Q2025853) (← links)
- Compact distributed certification of planar graphs (Q2037111) (← links)
- Local certification of graphs on surfaces (Q2078616) (← links)
- Succinct non-interactive arguments via linear interactive proofs (Q2136170) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Proof-labeling schemes: broadcast, unicast and in between (Q2672621) (← links)
- Introduction to local certification (Q5024672) (← links)