Milius S, Litak T (2017)
Publication Type: Journal article
Publication year: 2017
Pages Range: 407-449
Journal Issue: 150
URI: http://arxiv.org/abs/1603.05214
DOI: 10.3233/FI-2017-1475
APA:
Milius, S., & Litak, T. (2017). Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion. Fundamenta Informaticae, 150, 407-449. https://doi.org/10.3233/FI-2017-1475
MLA:
Milius, Stefan, and Tadeusz Litak. "Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion." Fundamenta Informaticae 150 (2017): 407-449.
BibTeX: Download