Gabriele Puppis (CNRS
Identifiers
No identifiers captured yet.
Papers (1)
- An algebraic approach to MSO-definability on countable linear orderings cs.LO · 2017 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- IRIF) 1 shared papers
- Olivier Carton (IRIF) 1 shared papers
- Thomas Colcombet (CNRS 1 shared papers