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