On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi. On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. In S. Barry Cooper, Anuj Dawar, Benedikt Löwe, editors, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings. Volume 7318 of Lecture Notes in Computer Science, pages 323-333, Springer, 2012. [doi]

This author has not been identified. It may be one of the following persons:

Wiebe van der Hoek

Look up 'Wiebe van der Hoek' in GoogleThis author has not been identified. Look up 'Petar Iliev' in GoogleThis author has not been identified. Look up 'Barteld P. Kooi' in Google

runs on WebDSL