The computational complexity of hybrid temporal logics

Authors
Publication date 2000
Journal Logic Journal of the IGPL
Volume | Issue number 8 | 5
Pages (from-to) 653-679
Number of pages 27
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Permalink to this page
Back