TY - RPRT TI - An algebraic theory of ω-regular languages, via μν-expressions AU - Anupam Das AU - Abhishek De PY - 2025 UR - https://arxiv.org/abs/2505.10303 ID - 2505.10303 ER -