Sylvain Salvati
Identifiers
- name variant Sylvain Salvati 0.60 · backfill
Papers (4)
- On the Complexity of Language Membership for Probabilistic Words cs.FL · 2025 · author #4
- Typing weak MSOL properties cs.LO · 2016 · author #1
- The Diagonal Problem for Higher-Order Recursion Schemes is Decidable cs.FL · 2016 · author #3
- 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