Generalizing Determinization from Automata to Coalgebras

Author(s):: Silva, A.M.; Bonchi, F.; Bonsangue, M.M. (0000-0003-3746-3618); Rutten, J.J.M.M.

Published: 2013
Publication type: Article / Letter to editor

Date issued: 2013
Language: English
Is part of: Logical Methods in Computer Science (2013), Vol. 9, no. 1, p. 1-27
hdl: 1887/57142
doi: 10.2168/LMCS-9(1:9)2013
URL: https://arxiv.org/abs/1302.1046