Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients

Anton Chernev^*, Helle Hvid Hansen, Clemens Kupke

^*Corresponding author for this work

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

8 Downloads (Pure)

1 Preprint

1 results

Filter

2024
Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients
Chernev, A., Hansen, H. H. & Kupke, C., 19-Jul-2024, (Submitted) arXiv, 27 p.
Research output: Working paper › Preprint › Academic

File
8 Downloads (Pure)