Alexis B\`es

Identifiers

• name variant Alexis B\`es 0.60 · backfill

Papers (3)

1. Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals cs.LO · 2018 · author #1
2. Complexity and (un)decidability of fragments of $\langle \omega^{\omega^\lambda}; \times \rangle$ cs.LO · 2018 · author #1
3. An Application of the Feferman-Vaught Theorem to Automata and Logics for<br> Words over an Infinite Alphabet cs.LO · 2008 · author #1

Mentions

• 0801.2498 #1 · arxiv_oai · confidence 0.70 Alexis B\`es
• 0801.2498 #1 · backfill · confidence 0.70 Alexis B\`es

Frequent Coauthors

• Christian Choffrut 2 shared papers