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/rapportAntologiForskning

OriginalsprogEngelsk
ForlagPergamon Press
Antal sider148
StatusUdgivet - 2007
NavnElectronic Notes in Theoretical Computer Science
Nummer6
Vol/bind174
ISSN1571-0661

Citer dette

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