Conelikes and Ranker Comparisons

von Henriksson, Viktor
Veröffentlicht in LATIN (15. : 2022 : Guanajuato) LATIN 2022 - theoretical informatics (2022)

Deciding FO2 Alternation for Automata over Finite and Infinite Words

von Henriksson, Viktor
Veröffentlicht in DLT (25. : 2021 : Porto, Portugal) Developments in Language Theory (2021)