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

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

Research output: Book/ReportAnthologyResearch

Original languageEnglish
PublisherPergamon Press
Number of pages148
Publication statusPublished - 2007
SeriesElectronic Notes in Theoretical Computer Science
Number6
Volume174
ISSN1571-0661

Cite this

Braüner, T. (Ed.), Blackburn, P. (Ed.), Bolander, T. (Ed.), de Paiva, V., & Villadsen, J. (Ed.) (2007). Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). Pergamon Press. Electronic Notes in Theoretical Computer Science, No. 6, Vol.. 174
Braüner, Torben (Editor) ; Blackburn, Patrick (Editor) ; Bolander, Thomas (Editor) ; de Paiva, Valeria ; Villadsen, Jørgen (Editor). / Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). Pergamon Press, 2007. 148 p. (Electronic Notes in Theoretical Computer Science; No. 6, Vol. 174).
@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",
publisher = "Pergamon Press",

}

Braüner, T (ed.), Blackburn, P (ed.), Bolander, T (ed.), de Paiva, V & Villadsen, J (ed.) 2007, Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). Electronic Notes in Theoretical Computer Science, no. 6, vol. 174, Pergamon Press.

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

Pergamon Press, 2007. 148 p.

Research output: Book/ReportAnthologyResearch

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

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

PB - Pergamon Press

ER -

Braüner T, (ed.), Blackburn P, (ed.), Bolander T, (ed.), de Paiva V, Villadsen J, (ed.). Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). Pergamon Press, 2007. 148 p. (Electronic Notes in Theoretical Computer Science; No. 6, Vol. 174).