Brzozowski’s algorithm (co)algebraically

by F. Bonchi , M. M. Bonsangue , J. J. M. M. Rutten , A. M. Silva
Citations:5 - 1 self