Author:
Kaminski Mark,Smolka Gert
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. An on-the-fly tableau-based decision procedure for PDL-satisfiability;Abate;Electr. Notes Theor. Comput. Sci.,2009
2. Hybrid logics;Areces,2007
3. Baader, F., Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles, Technical Report RR-90-13, DFKI (1990).
4. From regular expressions to deterministic automata;Berry;Theor. Comput. Sci.,1986
5. Combining deduction and model checking into tableaux and algorithms for converse-PDL;De Giacomo;Inf. Comput.,2000
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献