Program Equivalence is Coinductive

Schröder L, Pattinson D (2016)


Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2016

Publisher: ACM

City/Town: New York

Pages Range: 337--346

Conference Proceedings Title: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, NY, USA, July 5-8, 2016

Event location: New York US

ISBN: 978-1-4503-4391-6

URI: http://doi.acm.org/10.1145/2933575

DOI: 10.1145/2933575

Authors with CRIS profile

Related research project(s)

Involved external institutions

How to cite

APA:

Schröder, L., & Pattinson, D. (2016). Program Equivalence is Coinductive. In Martin Grohe, Eric Koskinen, Natarajan Shankar (Eds.), Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, NY, USA, July 5-8, 2016 (pp. 337--346). New York, US: New York: ACM.

MLA:

Schröder, Lutz, and Dirk Pattinson. "Program Equivalence is Coinductive." Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York Ed. Martin Grohe, Eric Koskinen, Natarajan Shankar, New York: ACM, 2016. 337--346.

BibTeX: Download