Additional Metadata
THEME Software (theme 1)
Publisher Int. Fed. of Computational Logic
Journal Logical Methods in Computer Science
Citation
Silva, A.M, Bonchi, F, Bonsangue, M.M, & Rutten, J.J.M.M. (2013). Generalizing determinization from automata to coalgebras. Logical Methods in Computer Science, 9(1:09), 1–27.