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., Hansen, H., Panangaden, P., Rutten, J., & Silva, A. (2014). Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Transactions on Computational Logic, 15(1). |
|