What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs
| Autor: | Laurent Feuilloley, Nicolas Bousquet, Théo Pierron |
|---|---|
| Rok vydání: | 2022 |
| Zdroj: | Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing. |
| DOI: | 10.1145/3519270.3538416 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|