Conference contribution
(Original article)


Program Equivalence is Coinductive


Publication Details
Author(s): Schröder L, Pattinson D
Editor(s): Martin Grohe, Eric Koskinen, Natarajan Shankar
Publisher: ACM
Publishing place: New York
Publication year: 2016
Conference Proceedings Title: Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016
Pages range: 337--346
ISBN: 978-1-4503-4391-6

Event details
Event: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016
Event location: New York
Start date of the event: 05/07/2016
End date of the event: 08/07/2016
Language: English



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} '16, New York, NY, USA, July 5-8, 2016 (pp. 337--346). 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
Share link
Last updated on 2017-04-26 at 03:45
PDF downloaded successfully