TY  - RPRT
TI  - Deterministic and game separability for regular languages of infinite trees
AU  - Lorenzo Clemente
AU  - Michał Skrzypczak
PY  - 2021
UR  - https://arxiv.org/abs/2105.01137
ID  - 2105.01137
ER  -