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

Persistent URL (handle)

@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",

}

TY - GEN

T1 - A roadmap of the complexity of hybrid logics.

AU - Areces, C.

AU - Blackburn, P.

AU - Marx, M.J.

PY - 1999

Y1 - 1999

UR - https://www.scopus.com/pages/publications/84956862612

UR - https://www.scopus.com/inward/citedby.url?scp=84956862612&partnerID=8YFLogxK

M3 - Conference contribution

SP - 307

EP - 321

BT - Proceedings of the 8th Annual Conference of the EACSL, Madrid, September 1999.

A2 - Flum, J.

A2 - Rodrigues-Artalejo, M.

PB - Springer

ER -