Conference contribution
(Original article)


Global Caching for the Flat Coalgebraic mu-Calculus


Publication Details
Author(s): Schröder L, Hausmann D
Editor(s): Grandi F, Lange M, Lomuscio A
Publisher: IEEE Computer Society
Publishing place: Palo Alto
Publication year: 2015
Conference Proceedings Title: Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, {TIME} 2015, Kassel, Germany, September 23-25, 2015
Pages range: 121--130
ISBN: 978-1-4673-9317-1

Event details
Event: 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015
Event location: Kassel
Start date of the event: 23/09/2015
End date of the event: 25/09/2015
Language: English



How to cite
APA: Schröder, L., & Hausmann, D. (2015). Global Caching for the Flat Coalgebraic mu-Calculus. In Grandi F, Lange M, Lomuscio A (Eds.), Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, {TIME} 2015, Kassel, Germany, September 23-25, 2015 (pp. 121--130). Palo Alto: IEEE Computer Society.

MLA: Schröder, Lutz, and Daniel Hausmann. "Global Caching for the Flat Coalgebraic mu-Calculus." Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel Ed. Grandi F, Lange M, Lomuscio A, Palo Alto: IEEE Computer Society, 2015. 121--130.

BibTeX: Download
Share link
Last updated on 2017-02-26 at 01:41
PDF downloaded successfully