Sylvain Salvati

Identifiers

• name variant Sylvain Salvati 0.60 · backfill

Papers (4)

1. On the Complexity of Language Membership for Probabilistic Words cs.FL · 2025 · author #4
2. Typing weak MSOL properties cs.LO · 2016 · author #1
3. The Diagonal Problem for Higher-Order Recursion Schemes is Decidable cs.FL · 2016 · author #3
4. Ordered Tree-Pushdown Systems cs.FL · 2015 · author #3

Mentions

• 2510.08127 #4 · arxiv_oai · confidence 0.70 Sylvain Salvati
• 1510.03278 #3 · backfill · confidence 0.70 Sylvain Salvati

Frequent Coauthors

• Igor Walukiewicz 3 shared papers
• Lorenzo Clemente 2 shared papers
• Pawe{\l} Parys 2 shared papers
• Antoine Amarilli 1 shared papers
• Mika\"el Monet 1 shared papers
• Paul Rapha\"el 1 shared papers