Additional Metadata
Persistent URL dx.doi.org/10.1016/j.ic.2015.11.009
Journal Information and Computation
Citation
Rot, J.C, Bonsangue, M.M, & Rutten, J.J.M.M. (2016). Proving language inclusion and equivalence by coinduction. Information and Computation, 246, 62–76. doi:10.1016/j.ic.2015.11.009