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