Laureline Pinault

Identifiers

• name variant Laureline Pinault 0.50 · backfill

Papers (1)

1. Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable cs.LO · 2019 · author #6

Mentions

No mention provenance yet.

Frequent Coauthors

• Aniello Murano 1 shared papers
• Bastien Maubert 1 shared papers
• Emmanuel Filiot 1 shared papers
• Jean-Fran\c{c}ois Raskin 1 shared papers
• Rapha\"el Berthon 1 shared papers
• Sasha Rubin 1 shared papers
• Shibashis Guha 1 shared papers