Conference
A tight meta-theorem for LOCAL certification of MSO2 properties within bounded treewidth graphs
| Title: | A tight meta-theorem for LOCAL certification of MSO2 properties within bounded treewidth graphs |
|---|---|
| Authors: | Cook, Linda, Kim, Eun Jung, Masařík, Tomáš |
| Source: | Proceedings of the ACM Symposium on Principles of Distributed Computing. :110-120 |
| Availability: | http://dl.acm.org/doi/10.1145/3732772.3733562 |
| Database: | ACM Full-Text Collection |
| DOI: | 10.1145/3732772.3733562 |
|---|