Polishness of some topologies related to word or tree automata

Olivier Finkel, Olivier Carton, Dominique Lecomte. Polishness of some topologies related to word or tree automata. Logical Methods in Computer Science, 15(2), 2019. [doi]

Abstract

Abstract is missing.