Automata Minimization: a Functorial Approach.

Thomas Colcombet, Daniela Petrisan

Browse the full CALCO paper archive.