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

Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

A High Level Language for Monad-based Processes (HighMoon/HighMoon2) Sept. 1, 2013 - Oct. 31, 2020 Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL) April 1, 2011 - April 1, 2014

Involved external institutions

Australian National University (ANU) AU Australia (AU)

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