A roadmap of the complexity of hybrid logics.

C. Areces, P. Blackburn, M.J. Marx

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the 8th Annual Conference of the EACSL, Madrid, September 1999.
Editors	J. Flum, M. Rodrigues-Artalejo
Publisher	Springer
Pages	307-321
Publication status	Published - 1999

Handle.net

@inproceedings{70ab312b1e7e42009f2d82f473add8e3,

title = "A roadmap of the complexity of hybrid logics.",

author = "C. Areces and P. Blackburn and M.J. Marx",

year = "1999",

language = "English",

pages = "307--321",

editor = "J. Flum and M. Rodrigues-Artalejo",

booktitle = "Proceedings of the 8th Annual Conference of the EACSL, Madrid, September 1999.",

publisher = "Springer",

}