2014
Algebra-coalgebra duality in Brzozowski's minimization algorithm
Publication
Publication
ACM Transactions on Computational Logic , Volume 15 - Issue 1
Additional Metadata | |
---|---|
A.C.M. | |
ACM Transactions on Computational Logic | |
Organisation | Computer Security |
Bonchi, F, Bonsangue, M.M, Hansen, H.H, Panangaden, P, Rutten, J.J.M.M, & Silva, A.M. (2014). Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Transactions on Computational Logic, 15(1).
|