Pages that link to "Item:Q2078616"
From MaRDI portal
The following pages link to Local certification of graphs on surfaces (Q2078616):
Displaying 5 items.
- Local certification of graphs with bounded genus (Q2104916) (← links)
- Planarity can be verified by an approximate proof labeling scheme in constant-time (Q2154327) (← links)
- Lower bound for constant-size local certification (Q6155248) (← links)
- Local certification of graphs on surfaces (Q6360106) (← links)
- The hardness of local certification of finite-state dynamics (Q6547916) (← links)