TY - RPRT TI - Cyclic system for an algebraic theory of alternating parity automata AU - Anupam Das AU - Abhishek De PY - 2025 UR - https://arxiv.org/abs/2505.09000 ID - 2505.09000 ER -