Additional Metadata
THEME Software (theme 1)
Publisher Springer
Editor R.L. Constable , A.M. Silva (Alexandra)
Citation
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.