VIDI Kooi

Postal address
Netherlands

8 Article
6 Chapter
1 Book
1 Conference contribution
Meer
- 1 Thesis fully internal (DIV)

1 resultaten

Filter

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. (redactie). Lecture notes in computer science, Vol. 7318. blz. 323 - 333 (Lecture Notes in Computer Science).
Onderzoeksoutput › Academic › peer review

6 Citaten (Scopus)

43 Downloads (Pure)