On the Complexity of hybrid logics with binders

Authors
Publication date 2005
Series Technical Reports, PP-2005-02
Number of pages 21
Publisher Amsterdam: Institute for Logic, Language and Computation
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Working paper
Permalink to this page
Back