On the Definability of Simulability and Bisimilarity by Finite Epistemic Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek. On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. In João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre, editors, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Volume 6814 of Lecture Notes in Computer Science, pages 74-87, Springer, 2011. [doi]

This author has not been identified. Look up 'Hans P. van Ditmarsch' in GoogleThis author has not been identified. Look up 'David Fernández Duque' in GoogleThis author has not been identified. It may be one of the following persons:

Wiebe van der Hoek

Look up 'Wiebe van der Hoek' in Google

runs on WebDSL