Christian Choffrut

Identifiers

No identifiers captured yet.

Papers (3)

1. Quasi-automatic semigroups math.GR · 2019 · author #2
2. Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals cs.LO · 2018 · author #2
3. Complexity and (un)decidability of fragments of $\langle \omega^{\omega^\lambda}; \times \rangle$ cs.LO · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexis B\`es 2 shared papers
• Benjamin Blanchette 1 shared papers
• Christophe Reutenauer 1 shared papers