A road-map on complexity for hybrid logics

Authors
Publication date 1999
Host editors
  • M. Rodriguez-Artalejo
  • J. Flum
Book title Proceedings of the 8th Annual Conference of the EACSL
Event 8th Annual Conference of the EACSL, Madrid
Pages (from-to) 307-321
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back