2014
Strong completeness for iteration-free coalgebraic dynamic logics
Publication
Publication
Presented at the
IFIP International Conference on Theoretical Computer Science, Rome, Italy
Additional Metadata | |
---|---|
Springer | |
doi.org/10.1007/978-3-662-44602-7_22 | |
Lecture Notes in Computer Science | |
IFIP International Conference on Theoretical Computer Science | |
Organisation | Computer Security |
Hansen, H., Kupke, C., & 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 |