Program Equivalence is Coinductive

Conference contribution
(Original article)


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 2016, New York, NY, USA, July 5-8, 2016
Pages range: 337--346
ISBN: 978-1-4503-4391-6
Language: English


FAU Authors / FAU Editors

Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


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: 

Last updated on 2018-19-04 at 03:46