Additional Metadata
THEME Software (theme 1)
Series preprint (not CWI, to be used with submitted papers)
Note Extended version of 'Coinductive proof techniques for language equivalence', LATA 2013
Citation
Rot, J.C, Bonsangue, M.M, & Rutten, J.J.M.M. (2015). Proving language inclusion and equivalence by coinduction. preprint (not CWI, to be used with submitted papers).