On the complexity of hybrid logics with binders

Authors
Publication date 2005
Book title Proceedings of the Annual Conference of the European Association for Computer Science Logic
Pages (from-to) 339-354
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Conference contribution
Permalink to this page
Back