TY - RPRT TI - A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings AU - Gustav Grabolle PY - 2023 DO - 10.46298/lmcs-19(4:27)2023 UR - https://arxiv.org/abs/2203.07370 ID - 2203.07370 ER -