Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

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

Research output: Book/Report › Book › Research › peer-review

Original language	English

Publisher	Elsevier
Publication status	Published - 2007

Series	Electronic Notes in Theoretical Computer Science
Number	174
ISSN	1571-0661

OpenUrl availability

@book{861874ee9bb94eb6919e9d94ad1f26ed,

title = "Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)",

editor = "Patrick Blackburn and Thomas Bolander and Torben Bra{\"u}ner and {de Paiva}, Valeria and J{\o}rgen Villadsen",

year = "2007",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "174",

address = "United Kingdom",

}

TY - BOOK

T1 - Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

A2 - Blackburn, Patrick

A2 - Bolander, Thomas

A2 - Braüner, Torben

A2 - de Paiva, Valeria

A2 - Villadsen, Jørgen

PY - 2007

Y1 - 2007

M3 - Book

T3 - Electronic Notes in Theoretical Computer Science

BT - Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

PB - Elsevier

ER -