A. V. Sreejith | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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

Success!

An error occurred