Pages that link to "Item:Q5499979"
From MaRDI portal
The following pages link to On the Impact of Identifiers on Local Decision (Q5499979):
Displaying 13 items.
- Fast and compact self-stabilizing verification, computation, and fault detection of an MST (Q498670) (← links)
- Node labels in local decision (Q1625609) (← links)
- What can be verified locally? (Q1672006) (← links)
- Local checkability, no strings attached: (a)cyclicity, reachability, loop free updates in SDNs (Q1686112) (← links)
- On mobile agent verifiable problems (Q1753994) (← links)
- Deciding and verifying network properties locally with few output bits (Q1988527) (← links)
- Randomized proof-labeling schemes (Q2002054) (← links)
- Proof labeling schemes for reachability-related problems in directed graphs (Q2097332) (← links)
- Planarity can be verified by an approximate proof labeling scheme in constant-time (Q2154327) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Proof-labeling schemes: broadcast, unicast and in between (Q2672621) (← links)
- Introduction to local certification (Q5024672) (← links)
- Approximate proof-labeling schemes (Q5919426) (← links)