Generalizing determinization from automata to coalgebras. - Archive ouverte HAL Access content directly
Journal Articles Logical Methods in Computer Science Year : 2013

Generalizing determinization from automata to coalgebras.

Dates and versions

hal-00909339 , version 1 (26-11-2013)

Identifiers

Cite

Alexandra Silva, Filippo Bonchi, Marcello Bonsangue, Jan Rutten. Generalizing determinization from automata to coalgebras.. Logical Methods in Computer Science, 2013, 9 (1), pp.9(1). ⟨10.2168/LMCS-9(1:9)2013⟩. ⟨hal-00909339⟩
67 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More