What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs
From MaRDI portal
Publication:6120956
DOI10.1145/3519270.3538416MaRDI QIDQ6120956
Laurent Feuilloley, Nicolas Bousquet, Théo Pierron
Publication date: 26 March 2024
Published in: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)
This page was built for publication: What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs