Coalgebraic constructions of canonical nondeterministic automata
Under an Elsevier user license
open archive
Keywords
Non-deterministic automata
Join-semilattices
Coalgebras
Minimization
Cited by (0)
- 1
Stefan Milius acknowledges support by the Deutsche Forschungsgemeinschaft (DFG) under project MI 717/5-1.
Copyright © 2015 Elsevier B.V. All rights reserved.