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
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