TY  - RPRT
TI  - Greibach Normal Form for $ω$-Algebraic Systems and Weighted Simple $ω$-Pushdown Automata
AU  - Manfred Droste
AU  - Sven Dziadek
AU  - Werner Kuich
PY  - 2021
DO  - 10.1016/j.ic.2022.104871
UR  - https://arxiv.org/abs/2007.08866
ID  - 2007.08866
ER  -