@inproceedings{https___doi.org_10.4230_lipics.csl.2025.11,
    doi = {10.4230/lipics.csl.2025.11},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.11},
    author = {Colcombet, Thomas and Rabinovich, Alexander},
    keywords = {Logic, Algorithmic model theory, Monadic second-order logic, Ordinals, Binary tree, Theory of computation → Tree languages, Theory of computation → Logic and verification},
    language = {en},
    title = {On the Expansion of Monadic Second-Order Logic with Cantor-Bendixson Rank and Order Type Predicates},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2025},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2025-2-14 8:38:59 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.csl.2025.11, doi = {10.4230/lipics.csl.2025.11}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2025.11}, author = {Colcombet, Thomas and Rabinovich, Alexander}, keywords = {Logic, Algorithmic model theory, Monadic second-order logic, Ordinals, Binary tree, Theory of computation → Tree languages, Theory of computation → Logic and verification}, language = {en}, title = {On the Expansion of Monadic Second-Order Logic with Cantor-Bendixson Rank and Order Type Predicates}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2025}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2025-2-14 8:38:59 +0100} }