Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm

Filippo Bonchi (1) , Marcello Bonsangue (1, 2) , Hansen Helle Hvid (3) , Prakash Panangaden , Jan Rutten (2) , Alexandra Silva (2)

1 LIP - Laboratoire de l'Informatique du Parallélisme
2 CWI - Centrum voor Wiskunde en Informatica
3 CS - Computing Science Department

Domaines: Logique en informatique [cs.LO]

Filippo Bonchi, Marcello Bonsangue, Hansen Helle Hvid, Prakash Panangaden, Jan Rutten, et al.. Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm. ACM Transactions on Computational Logic, 2014, 15 (1), pp.3:1--3:29. ⟨10.1145/2490818⟩. ⟨hal-00909426⟩