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

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

doi:10.1007/978-3-642-30870-3_33

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

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

Onderzoeksoutput › Academic › peer review

6 Citaten (Scopus)

43 Downloads (Pure)

Originele taal-2	Dutch
Titel	How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE)
Redacteuren	S.B. Cooper, A. Dawar, B. Löwe
Uitgeverij	Lecture notes in computer science
Pagina's	323 - 333
Volume	7318
ISBN van elektronische versie	978-3-642-30870-3
ISBN van geprinte versie	978-3-642-30869-7
DOI's	https://doi.org/10.1007/978-3-642-30870-3_33
Status	Published - 2012
Evenement	8th Conference on Computability in Europe (CiE) - Duur: 1-jan.-2012 → 1-jan.-2012

Publicatie series

Naam	Lecture Notes in Computer Science
ISSN van geprinte versie	0302-9743

Other

Other	8th Conference on Computability in Europe (CiE)
Periode	01/01/2012 → 01/01/2012

Toegang tot document

10.1007/978-3-642-30870-3_33

Handle.net

Permanente koppeling

Citeer dit

van der Hoek, W., Iliev, P., & Kooi, B. P. (2012). On the relative succinctness of two extensions by definitions of multimodal logic. In S. B. Cooper, A. Dawar, & B. Löwe (editors), How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE) (Vol. 7318, blz. 323 - 333). (Lecture Notes in Computer Science). Lecture notes in computer science. https://doi.org/10.1007/978-3-642-30870-3_33

van der Hoek, W ; Iliev, Petar ; Kooi, B.P. / On the relative succinctness of two extensions by definitions of multimodal logic. How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE). redacteur / S.B. Cooper ; A. Dawar ; B. Löwe. Vol. 7318 Lecture notes in computer science, 2012. blz. 323 - 333 (Lecture Notes in Computer Science).

@inproceedings{74db5908e5a741258679e04b9a1bfe62,

title = "On the relative succinctness of two extensions by definitions of multimodal logic",

author = "{van der Hoek}, W and Petar Iliev and B.P. Kooi",

note = "Event: 8th Conference on Computability in Europe (CiE); 8th Conference on Computability in Europe (CiE) ; Conference date: 01-01-2012 Through 01-01-2012",

year = "2012",

doi = "10.1007/978-3-642-30870-3_33",

language = "Dutch",

isbn = " 978-3-642-30869-7",

volume = "7318",

series = "Lecture Notes in Computer Science",

publisher = "Lecture notes in computer science",

pages = "323 -- 333",

editor = "S.B. Cooper and A. Dawar and B. L{\"o}we",

booktitle = "How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE)",

}

van der Hoek, W, Iliev, P & Kooi, BP 2012, On the relative succinctness of two extensions by definitions of multimodal logic. in SB Cooper, A Dawar & B Löwe (redactie), How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE). vol. 7318, Lecture Notes in Computer Science, Lecture notes in computer science, blz. 323 - 333, 8th Conference on Computability in Europe (CiE), 01/01/2012. https://doi.org/10.1007/978-3-642-30870-3_33

On the relative succinctness of two extensions by definitions of multimodal logic. / van der Hoek, W; Iliev, Petar; Kooi, B.P.
How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE). redactie / S.B. Cooper; A. Dawar; B. Löwe. Vol. 7318 Lecture notes in computer science, 2012. blz. 323 - 333 (Lecture Notes in Computer Science).

Onderzoeksoutput › Academic › peer review

TY - GEN

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

AU - van der Hoek, W

AU - Iliev, Petar

AU - Kooi, B.P.

N1 - Event: 8th Conference on Computability in Europe (CiE)

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-30870-3_33

DO - 10.1007/978-3-642-30870-3_33

M3 - Conference contribution

SN - 978-3-642-30869-7

VL - 7318

T3 - Lecture Notes in Computer Science

SP - 323

EP - 333

BT - How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE)

A2 - Cooper, S.B.

A2 - Dawar, A.

A2 - Löwe, B.

PB - Lecture notes in computer science

T2 - 8th Conference on Computability in Europe (CiE)

Y2 - 1 January 2012 through 1 January 2012

ER -

van der Hoek W, Iliev P, Kooi BP. On the relative succinctness of two extensions by definitions of multimodal logic. In Cooper SB, Dawar A, Löwe B, redacteurs, How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe (CiE). Vol. 7318. Lecture notes in computer science. 2012. blz. 323 - 333. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-30870-3_33