Pages that link to "Item:Q5090917"
From MaRDI portal
The following pages link to Local verification of global proofs (Q5090917):
Displaying 6 items.
- Compact distributed certification of planar graphs (Q2037111) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Locally checkable proofs in distributed computing (Q3179347) (← links)
- Introduction to local certification (Q5024672) (← links)
- Redundancy in distributed proofs (Q5090916) (← links)
- The hardness of local certification of finite-state dynamics (Q6547916) (← links)