Dual Adjunction Between $\varOmega $-Automata and Wilke Algebra Quotients.

Anton Chernev, Helle Hvid Hansen, Clemens Kupke

Browse the full ICTAC paper archive.