Coalgebraic Constructions of Canonical Nondeterministic Automata - Myers, Robert; Adámek, Jiří; Milius, Stefan; Urbat, Henning; Urbat, Henning (Theoretical Computer Science, 2015)
UnivIS-Import:2016-06-01:Pub.2015.tech.IMMD.profes_1.coalge
Keywords: Coalgebras; Join-semilattices; Minimization; Non-deterministic automata