1
TITLE: Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm  Full Text
AUTHORS: Filippo Bonchi; Marcello M Bonsangue; Helle H Hansen; Prakash Panangaden; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, ISSUE: 1
INDEXED IN: WOS DBLP CrossRef: 22