Proceedings of the International Workshop on Hybrid Logic: Federated Logic Conference, Seattle, USA

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

Original language	English

Publisher	Federated Logic Conference, Seattle, USA
Publication status	Published - 2006

OpenUrl availability

@book{7856a2ebbe7c49c2aa323a0643f63ef0,

title = "Proceedings of the International Workshop on Hybrid Logic: Federated Logic Conference, Seattle, USA",

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

year = "2006",

language = "English",

publisher = "Federated Logic Conference, Seattle, USA",

}

TY - BOOK

T1 - Proceedings of the International Workshop on Hybrid Logic

T2 - Federated Logic Conference, Seattle, USA

A2 - Blackburn, Patrick

A2 - Bolander, Thomas

A2 - Braüner, Torben

A2 - de Paiva, Valeria

A2 - Villadsen, Jørgen

PY - 2006

Y1 - 2006

M3 - Book

BT - Proceedings of the International Workshop on Hybrid Logic

PB - Federated Logic Conference, Seattle, USA

ER -