A. V. Sreejith | DeepAI

DeepAI

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

Featured Co-authors

Mikołaj Bojańczyk
11 publications
Laure Daviaud
5 publications
Bharat Adsul
5 publications
Vincent Penelle
2 publications
Bruno Guillon
2 publications
Saptarshi Sarkar
1 publication

research

∙ 07/03/2021

First-Order logic and its Infinitary Quantifier Extensions over Countable Words

We contribute to the refined understanding of the language-logic-algebra...

0 Bharat Adsul, et al. ∙

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. ∙