@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