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