On the relative succinctness of two extensions by definitions of multimodal logic

W van der Hoek, Petar Iliev, B.P. Kooi

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
43 Downloads (Pure)
Original languageDutch
Title of host publicationHow the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE)
EditorsS.B. Cooper, A. Dawar, B. Löwe
PublisherLecture notes in computer science
Pages323 - 333
ISBN (Electronic)978-3-642-30870-3
ISBN (Print) 978-3-642-30869-7
Publication statusPublished - 2012
Event8th Conference on Computability in Europe (CiE) -
Duration: 1-Jan-20121-Jan-2012

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Other8th Conference on Computability in Europe (CiE)

Cite this