Pages that link to "Item:Q6487487"
From MaRDI portal
The following pages link to Error-sensitive proof-labeling schemes (Q6487487):
Displaying 6 items.
- Redundancy in distributed proofs (Q2025853) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Introduction to local certification (Q5024672) (← links)
- Redundancy in distributed proofs (Q5090916) (← links)
- Local verification of global proofs (Q5090917) (← links)
- Twenty-two new approximate proof labeling schemes (Q6535018) (← links)