2012
Brzozowski's algorithm (co)algebraically.
Publication
Publication
Additional Metadata | |
---|---|
Software (theme 1) | |
Springer | |
R.L. Constable , A.M. Silva (Alexandra) | |
Organisation | Computer Security |
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.
|