Hybrid logics on linear structures: expressivity and complexity

Authors
Publication date 2003
Book title Proceedings of the International Symposium on temporal representation and reasoning - International Conference on Temporal Logic
Publisher IEEE Computer Society Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Note pag.?
Permalink to this page
Back