Viktor Henriksson | DeepAI

DeepAI

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

Featured Co-authors

Manfred Kufleitner
3 publications

research

∙ 05/19/2021

Deciding FO2 Alternation for Automata over Finite and Infinite Words

We consider two-variable first-order logic FO^2 and its quantifier alter...

0 Viktor Henriksson, et al. ∙

research

∙ 12/02/2020

Nesting negations in FO2 over infinite words

We consider two-variable first-order logic FO2 over infinite words. Rest...

0 Viktor Henriksson, et al. ∙