https://arxiv.org/abs/2302.04522
[2302.04522] Hardness of monadic second-order formulae over succinct graphs
Abstract page for arXiv paper 2302.04522: Hardness of monadic second-order formulae over succinct graphs
monadic second order230204522hardness
https://arxiv.org/abs/2511.02386
[2511.02386] Monadic Second-Order Logic of Permutations
Abstract page for arXiv paper 2511.02386: Monadic Second-Order Logic of Permutations
monadic second order logic251102386permutations