TY  - RPRT
TI  - Dual Adjunction Between $Ω$-Automata and Wilke Algebra Quotients
AU  - Anton Chernev
AU  - Helle Hvid Hansen
AU  - Clemens Kupke
PY  - 2024
UR  - https://arxiv.org/abs/2407.14115
ID  - 2407.14115
ER  -