Old Web
English
Sign In
Acemap
>
authorDetail
>
Viktor Henriksson
Viktor Henriksson
Loughborough University
Mathematics
quantifier
order
Automaton
alternation
3
Papers
2
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Deciding FO2 Alternation for Automata over Finite and Infinite Words.
2021
arXiv: Formal Languages and Automata Theory
Viktor Henriksson
Manfred Kufleitner
Show All
Source
Cite
Save
Citations (0)
1