2015
Proving language inclusion and equivalence by coinduction
Publication
Publication
Additional Metadata | |
---|---|
Software (theme 1) | |
preprint (not CWI, to be used with submitted papers) | |
Extended version of 'Coinductive proof techniques for language equivalence', LATA 2013 | |
Organisation | Computer Security |
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).
|