Brzozowski's algorithm (co)algebraically.
|Software (theme 1)|
|R.L. Constable , A.M. Silva (Alexandra)|
Bonchi, F, Bonsangue, M.M, Rutten, J.J.M.M, & Silva, A.M. (2012). Brzozowski's algorithm (co)algebraically. In R.L Constable & A.M Silva (Eds.), Essays dedicated to Dexter Kozen on the occasion of his 60th Birthday.. Springer.