MSO Queries on Trees
From MaRDI portal
Publication:5145354
DOI10.1145/3209108.3209144zbMath1497.68153OpenAlexW2798396931MaRDI QIDQ5145354
Publication date: 20 January 2021
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3209108.3209144
Analysis of algorithms and problem complexity (68Q25) Database theory (68P15) Formal languages and automata (68Q45) Logic in computer science (03B70) Data structures (68P05)
Related Items (1)
This page was built for publication: MSO Queries on Trees
