TY  - RPRT
TI  - The Triple-Pair Construction for Weighted $ω$-Pushdown Automata
AU  - Manfred Droste
AU  - Zoltán Ésik
AU  - Werner Kuich
PY  - 2017
DO  - 10.4204/eptcs.252.12
UR  - https://arxiv.org/abs/1708.06463
ID  - 1708.06463
ER  -