Author:
Mundhenk Martin,Schneider Thomas
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. A road-map on complexity for hybrid logics;Areces,1999
2. The computational complexity of hybrid temporal logics;Areces;Logic Journal of the IGPL,2000
3. The undecidability of the domino problem;Berger;Memoirs of the American Mathematical Society,1966
4. Transfer results for hybrid logic. Part 1: the case without satisfaction operators;Bezhanishvili;Journal of Logic and Computation,2006
5. Representation, reasoning, and relational structures: a hybrid logic manifesto;Blackburn;Logic Journal of the IGPL,2000
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献