TY  - RPRT
TI  - Tree Automata as Algebras: Minimisation and Determinisation
AU  - Gerco van Heerdt
AU  - Tobias Kappé
AU  - Jurriaan Rot
AU  - Matteo Sammartino
AU  - Alexandra Silva
PY  - 2019
DO  - 10.4230/lipics.calco.2019.6
UR  - https://arxiv.org/abs/1904.08802
ID  - 1904.08802
ER  -