Charles Paperman

Identifiers

No identifiers captured yet.

Papers (7)

1. Out-of-Order Membership in Regular Languages cs.FL · 2026 · author #3
2. Monadic Second-Order Logic with Arbitrary Monadic Predicates cs.LO · 2017 · author #2
3. A Crevice on the Crane Beach: Finite-Degree Predicates cs.LO · 2017 · author #2
4. Regular Separability of Parikh Automata cs.FL · 2016 · author #4
5. Separability of Reachability Sets of Vector Addition Systems cs.FL · 2016 · author #4
6. Finite-Degree Predicates and Two-Variable First-Order Logic cs.LO · 2015 · author #1
7. Adding modular predicates to first-order fragments cs.LO · 2014 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Lorenzo Clemente 2 shared papers
• S{\l}awomir Lasota 2 shared papers
• Wojciech Czerwi\'nski 2 shared papers
• Antoine Amarilli 1 shared papers
• Luc Dartois (ULB) 1 shared papers
• Micha\"el Cadilhac 1 shared papers
• Nathana\"el Fijalkow 1 shared papers
• Sebastien Labbe 1 shared papers