Subset Space Logic with Arbitrary Announcements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Philippe Balbiani, Hans P. van Ditmarsch, Andrey Kudinov. Subset Space Logic with Arbitrary Announcements. In Kamal Lodaya, editor, Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Volume 7750 of Lecture Notes in Computer Science, pages 233-244, Springer, 2013. [doi]

This author has not been identified. Look up 'Philippe Balbiani' in GoogleThis author has not been identified. Look up 'Hans P. van Ditmarsch' in GoogleThis author has not been identified. Look up 'Andrey Kudinov' in Google

runs on WebDSL