Research output per year
Research output per year
Search results
-
2012
On the relative succinctness of two extensions by definitions of multimodal logic
van der Hoek, W., Iliev, P. & Kooi, B. P., 2012, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE). Cooper, S. B., Dawar, A. & Löwe, B. (eds.). Lecture notes in computer science, Vol. 7318. p. 323 - 333 (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
6 Citations (Scopus)43 Downloads (Pure)