TY  - RPRT
TI  - Hardness of monadic second-order formulae over succinct graphs
AU  - Guilhem Gamard
AU  - Aliénor Goubault-Larrecq
AU  - Pierre Guillon
AU  - Pierre Ohlmann
AU  - Kévin Perrot
AU  - Guillaume Theyssier
PY  - 2026
DO  - 10.46298/lmcs-22(1:3)2026
UR  - https://arxiv.org/abs/2302.04522
ID  - 2302.04522
ER  -