TY - RPRT TI - Efficient Algorithms for Morphisms over Omega-Regular Languages AU - Lukas Fleischer AU - Manfred Kufleitner PY - 2015 UR - https://arxiv.org/abs/1509.06215 ID - 1509.06215 ER -