monadic second order logic

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 logic 2511 02386 permutations

Robuta