2013
Generalizing determinization from automata to coalgebras
Publication
Publication
Logical Methods in Computer Science , Volume 9 - Issue 1:09 p. 1- 27
| Additional Metadata | |
|---|---|
| Int. Fed. of Computational Logic | |
| Logical Methods in Computer Science | |
| Organisation | Computer Security |
|
Silva, A., Bonchi, F., Bonsangue, M., & Rutten, J. (2013). Generalizing determinization from automata to coalgebras. Logical Methods in Computer Science, 9(1:09), 1–27. |
|