A New Foundation for Finitary Corecursion

Conference contribution


Publication Details

Author(s): Milius S, Pattinson D, Wißmann T
Publication year: 2016
Title of series: Lecture Notes in Computer Science
Volume: 9634
Conference Proceedings Title: Foundations of Software Science and Computation Structures
Pages range: 107-125
ISBN: 978-3-662-49629-9
ISSN: 0302-9743


FAU Authors / FAU Editors

Milius, Stefan PD Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Wißmann, Thorsten
Lehrstuhl für Informatik 8 (Theoretische Informatik)


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: 

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