Program equivalence is coinductive (bibtex)

by Dirk Pattinson and Lutz Schröder

Reference:

Dirk Pattinson and Lutz Schröder: Program equivalence is coinductive, In Martin Grohe, Eric Koskinen, Natarajan Shankar, eds.: Logic in Computer Science, LICS 2016, pp. 337–346, ACM, 2016.

Bibtex Entry:

@InProceedings{PattinsonSchroder16,
  author = {Dirk Pattinson and Lutz Schr\"oder},
  title = {Program equivalence is coinductive},
  booktitle = {Logic in Computer Science, LICS 2016},
  year = {2016},
  publisher = {ACM},
  url = {http://www8.cs.fau.de/ext/papers/prog-coinduct.pdf},
  pages = {337-346},
  editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar}
  }