TY - RPRT TI - The Power-Set Construction for Tree Algebras AU - Achim Blumensath PY - 2023 DO - 10.46298/lmcs-19(4:9)2023 UR - https://arxiv.org/abs/2207.00563 ID - 2207.00563 ER -