Additional Metadata
THEME Software (theme 1)
Publisher Springer
Persistent URL dx.doi.org/10.1007/978-3-662-44602-7_22
Series Lecture Notes in Computer Science
Conference IFIP International Conference on Theoretical Computer Science
Citation
Hansen, H.H, Kupke, C.A, & Leal, R.A. (2014). Strong completeness for iteration-free coalgebraic dynamic logics. In Proceedings of IFIP International Conference on Theoretical Computer Science 2014 (TCS 0) (pp. 282–295). Springer. doi:10.1007/978-3-662-44602-7_22