A roadmap of the complexity of hybrid logics.

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

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 8th Annual Conference of the EACSL, Madrid, September 1999.
EditorsJ. Flum, M. Rodrigues-Artalejo
PublisherSpringer
Pages307-321
Publication statusPublished - 1999

Cite this