Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion

Milius S, Litak T (2013)

Publication Type: Conference contribution

Publication year: 2013

Publisher: Cornell University Library

Series: Electronic Proceedings in Theoretical Computer Science

City/Town: Cornell

Book Volume: 126

Pages Range: 72-86

Conference Proceedings Title: Proc. Fixed Points in Computer Science

URI: https://www8.cs.fau.de/~milius/publications/files/ml_fics13.pdf

DOI: 10.4204/EPTCS.126.6

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik) Tadeusz Litak Lehrstuhl für Informatik 8 (Theoretische Informatik)

How to cite

APA:

Milius, S., & Litak, T. (2013). Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion. In Proc. Fixed Points in Computer Science (pp. 72-86). Cornell: Cornell University Library.

MLA:

Milius, Stefan, and Tadeusz Litak. "Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion." Proceedings of the Proc. Fixed Points in Computer Science Cornell: Cornell University Library, 2013. 72-86.

BibTeX: Download