Proceedings of the International Workshop on Hybrid Logic 2006

Preface

Torben Braüner, Patrick Blackburn, Thomas Bolander, Valeria de Paiva, Jørgen Villadsen

Publikation: Bidrag til tidsskriftLederForskning

OriginalsprogEngelsk
TidsskriftElectronical Notes in Theoretical Computer Science
Vol/bind174
Udgave nummer6
Sider (fra-til)1-2
Antal sider2
ISSN1571-0661
DOI
StatusUdgivet - 2007

Citer dette

Braüner, Torben ; Blackburn, Patrick ; Bolander, Thomas ; de Paiva, Valeria ; Villadsen, Jørgen. / Proceedings of the International Workshop on Hybrid Logic 2006 : Preface. I: Electronical Notes in Theoretical Computer Science. 2007 ; Bind 174, Nr. 6. s. 1-2.
@article{946ba6700d2b11dc877e000ea68e967b,
title = "Proceedings of the International Workshop on Hybrid Logic 2006: Preface",
author = "Torben Bra{\"u}ner and Patrick Blackburn and Thomas Bolander and {de Paiva}, Valeria and J{\o}rgen Villadsen",
year = "2007",
doi = "10.1016/j.entcs.2006.11.021",
language = "English",
volume = "174",
pages = "1--2",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Pergamon Press",
number = "6",

}

Proceedings of the International Workshop on Hybrid Logic 2006 : Preface. / Braüner, Torben; Blackburn, Patrick; Bolander, Thomas; de Paiva, Valeria; Villadsen, Jørgen.

I: Electronical Notes in Theoretical Computer Science, Bind 174, Nr. 6, 2007, s. 1-2.

Publikation: Bidrag til tidsskriftLederForskning

TY - JOUR

T1 - Proceedings of the International Workshop on Hybrid Logic 2006

T2 - Preface

AU - Braüner, Torben

AU - Blackburn, Patrick

AU - Bolander, Thomas

AU - de Paiva, Valeria

AU - Villadsen, Jørgen

PY - 2007

Y1 - 2007

U2 - 10.1016/j.entcs.2006.11.021

DO - 10.1016/j.entcs.2006.11.021

M3 - Editorial

VL - 174

SP - 1

EP - 2

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 6

ER -