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

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

Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

Originalsprog	Engelsk

Navn	Electronic Notes in Theoretical Computer Science
Nummer	6
Vol/bind	174
ISSN	1571-0661

Citer dette

@book{148039000d2911dc877e000ea68e967b,

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

author = "{de Paiva}, Valeria",

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

year = "2007",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Pergamon Press",

number = "6",

}

TY - BOOK

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

AU - de Paiva, Valeria

A2 - Braüner, Torben

A2 - Blackburn, Patrick

A2 - Bolander, Thomas

A2 - Villadsen, Jørgen

PY - 2007

Y1 - 2007

M3 - Anthology

T3 - Electronic Notes in Theoretical Computer Science

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

PB - Pergamon Press

ER -