The Power-Set Construction for Tree Algebras

Achim Blumensath. The Power-Set Construction for Tree Algebras. Logical Methods in Computer Science, 19(4), 2023. [doi]

Abstract

Abstract is missing.