@article{carton_colcombet_puppis_2018,
    Author = {Carton, Olivier and Colcombet, Thomas and Puppis, Gabriele},
    Journal = {The Journal of Symbolic Logic},
    Number = {3},
    Pages = {1147--1189},
    Publisher = {Cambridge University Press},
    Title = {An algebraic approach to MSO-definability on countable linear orderings},
    Volume = {83},
    Year = {2018},
    bdsk-url-1 = {https://doi.org/10.1017/jsl.2018.7},
    date-added = {2020-05-20 15:03:06 +0200},
    date-modified = {2020-05-20 15:03:06 +0200},
    doi = {10.1017/jsl.2018.7}
}

@article{carton_colcombet_puppis_2018, Author = {Carton, Olivier and Colcombet, Thomas and Puppis, Gabriele}, Journal = {The Journal of Symbolic Logic}, Number = {3}, Pages = {1147--1189}, Publisher = {Cambridge University Press}, Title = {An algebraic approach to MSO-definability on countable linear orderings}, Volume = {83}, Year = {2018}, bdsk-url-1 = {https://doi.org/10.1017/jsl.2018.7}, date-added = {2020-05-20 15:03:06 +0200}, date-modified = {2020-05-20 15:03:06 +0200}, doi = {10.1017/jsl.2018.7} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge