Charles Paperman | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Nathanaël Fijalkow
2 publications
Antoine Amarilli
1 publication

research

∙ 09/10/2017

Monadic Second-Order Logic with Arbitrary Monadic Predicates

We study Monadic Second-Order Logic (MSO) over finite words, extended wi...

0 Nathanaël Fijalkow, et al. ∙

research

∙ 07/13/2017

A Dichotomy on Constrained Topological Sorting

We introduce the constrained topological sorting problem (CTS-problem): ...

0 Antoine Amarilli, et al. ∙

Success!

An error occurred