Program equivalence is coinductive (bibtex)
by Dirk Pattinson, Lutz Schröder
Reference:
Program equivalence is coinductive (Dirk Pattinson, Lutz Schröder), In Logic in Computer Science, LICS 2016 (Martin Grohe, Eric Koskinen, Natarajan Shankar, eds.), 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/_media/research:papers:prog-coinduct.pdf},
  pages = {337-346},
  editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar}
  }
Powered by bibtexbrowser