Viktor Henriksson

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Top Venues

Int. J. Found. Comput. Sci.

Publications

Viktor Henriksson, Manfred Kufleitner
Alternation Over Finite and Infinite Words. Int. J. Found. Comput. Sci. 34 (2&3) (2023)
Viktor Henriksson, Manfred Kufleitner
Conelikes and Ranker Comparisons. LATIN (2022)
Viktor Henriksson, Manfred Kufleitner
Deciding FO2 Alternation for Automata over Finite and Infinite Words. CoRR (2021)
Viktor Henriksson, Manfred Kufleitner
Conelikes and Ranker Comparisons. CoRR (2021)
Viktor Henriksson, Manfred Kufleitner
Alternation for Automata over Finite and Infinite Words. DLT (2021)
Viktor Henriksson, Manfred Kufleitner
Nesting negations in FO2 over infinite words. CoRR (2020)