A New Foundation for Finitary Corecursion

Milius S, Pattinson D, Wißmann T (2016)

Publication Type: Conference contribution

Publication year: 2016

Series: Lecture Notes in Computer Science

Book Volume: 9634

Pages Range: 107-125

Conference Proceedings Title: Foundations of Software Science and Computation Structures

Event location: Eindhoven, The Netherlands

ISBN: 978-3-662-49629-9

URI: http://link.springer.com/book/10.1007/978-3-662-49630-5

DOI: 10.1007/978-3-662-49630-5

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik) Thorsten Wißmann Lehrstuhl für Informatik 8 (Theoretische Informatik)

Involved external institutions

Australian National University (ANU) AU Australia (AU)

How to cite

APA:

Milius, S., Pattinson, D., & Wißmann, T. (2016). A New Foundation for Finitary Corecursion. In Foundations of Software Science and Computation Structures (pp. 107-125). Eindhoven, The Netherlands.

MLA:

Milius, Stefan, Dirk Pattinson, and Thorsten Wißmann. "A New Foundation for Finitary Corecursion." Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Eindhoven, The Netherlands 2016. 107-125.

BibTeX: Download