Login / Signup

Generalizing determinization from automata to coalgebras

Alexandra SilvaFilippo BonchiMarcello M. BonsangueJan J. M. M. Rutten
Published in: Log. Methods Comput. Sci. (2013)
Keyphrases