university website Publications by Year
  • sign in
  • Computer Security /
  • Information and Computation /
  • Article
  • Search

J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

2016

Proving language inclusion and equivalence by coinduction

Publication

Publication

Information and Computation , Volume 246 p. 62- 76

Additional Metadata
Persistent URL dx.doi.org/10.1016/j.ic.2015.11.009
Journal Information and Computation
Organisation Computer Security
Citation
APA Style
  • AAA Style
  • APA Style
  • Cell Style
  • Chicago Style
  • Harvard Style
  • IEEE Style
  • MLA Style
  • Nature Style
  • Vancouver Style
  • American-Institute-of-Physics Style
  • Council-of-Science-Editors Style
  • BibTex Format
  • Endnote Format
  • RIS Format
  • CSL Format
  • DOIs only Format
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
  • View at Publisher

Full Text ( Final Version , 457kb ) cover

Additional Files
2016_Proving.pdf Final Version , 457kb

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam
    • info@cwi.nl
  • Publishing at CWI

    • Open Access Portal
    • Submitting Your Work
  • Send article pdf, or link to archived materials:

    • artudis@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close