Conference
A tight meta-theorem for LOCAL certification of MSO2 properties within bounded treewidth graphs
| Τίτλος: | A tight meta-theorem for LOCAL certification of MSO2 properties within bounded treewidth graphs |
|---|---|
| Συγγραφείς: | Cook, Linda, Kim, Eun Jung, Masařík, Tomáš |
| Πηγή: | Proceedings of the ACM Symposium on Principles of Distributed Computing. :110-120 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3732772.3733562 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3732772.3733562 |
|---|