External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics

Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal. Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. In Josep Diaz, Ivan Lanese, Davide Sangiorgi, editors, Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings. Volume 8705 of Lecture Notes in Computer Science, pages 281-295, Springer, 2014. [doi]

Authors

Helle Hvid Hansen

This author has not been identified. Look up 'Helle Hvid Hansen' in Google

Clemens Kupke

This author has not been identified. Look up 'Clemens Kupke' in Google

Raul Andres Leal

This author has not been identified. Look up 'Raul Andres Leal' in Google
runs on