TY  - RPRT
TI  - Automata Minimization: a Functorial Approach
AU  - Thomas Colcombet
AU  - Daniela Petrişan
PY  - 2020
DO  - 10.23638/lmcs-16(1:32)2020
UR  - https://arxiv.org/abs/1712.07121
ID  - 1712.07121
ER  -