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. |