Author:
Kaminski Mark,Smolka Gert
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference55 articles.
1. Abate, P., Goré, R., Widmann, F.: An on-the-fly tableau-based decision procedure for PDL-satisfiability. In: Areces, C., Demri, S. (eds.) M4M-5, Electron. Notes Theor. Comput. Sci., vol. 231, pp. 191–209. Elsevier (2009)
2. Antimirov, V.: Partial derivatives of regular expressions and finite automaton constructions. Theor. Comput. Sci. 155(2), 291–319 (1996)
3. Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol. 3, pp. 821–868. Elsevier (2007)
4. Baader, F.: Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles. Tech. Rep. RR-90-13, DFKI (1990)
5. Ben-Ari, M., Pnueli, A., Manna, Z.: The temporal logic of branching time. Acta Inform. 20(3), 207–226 (1983)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献