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

Conference contribution


Publication Details

Author(s): Milius S, Litak TM
Publisher: Cornell University Library
Publishing place: Cornell
Publication year: 2013
Title of series: Electronic Proceedings in Theoretical Computer Science
Volume: 126
Conference Proceedings Title: Proc. Fixed Points in Computer Science
Pages range: 72-86
ISSN: 2075-2180


FAU Authors / FAU Editors

Litak, Tadeusz Michal
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Milius, Stefan PD Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


How to cite

APA:
Milius, S., & Litak, T.M. (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 Michal 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: 

Last updated on 2018-19-04 at 02:53