TY  - RPRT
TI  - Automata Minimization: a Functorial Approach
AU  - Thomas Colcombet
AU  - Daniela Petrişan
PY  - 2017
UR  - https://arxiv.org/abs/1711.03063
ID  - 1711.03063
ER  -