Coalgebraic Minimization of Automata by Initiality and Finality

Jurriaan Rot. Coalgebraic Minimization of Automata by Initiality and Finality. Electronic Notes in Theoretical Computer Science, 325:253-276, 2016. [doi]

Abstract

Abstract is missing.