Vincent Penelle | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Mikołaj Bojańczyk
11 publications
Laure Daviaud
5 publications
A. V. Sreejith
2 publications
Bruno Guillon
2 publications

research

∙ 07/23/2018

Undecidability of MSO+"ultimately periodic"

We prove that MSO on ω-words becomes undecidable if allowing to quantify...

0 Mikołaj Bojańczyk, et al. ∙

research

∙ 02/16/2015

Rewriting Higher-Order Stack Trees

Higher-order pushdown systems and ground tree rewriting systems can be s...

0 Vincent Penelle, et al. ∙