Funder
National Program on Key Basic Research Project of China
National Natural Science Foundation of China
Subject
General Computer Science,Theoretical Computer Science
Reference10 articles.
1. A decision procedure for propositional projection temporal logic with infinite models;Duan;Acta Inform.,2008
2. Z. Duan, C. Tian, An improved decision procedure for propositional projection temporal logic with infinite models, in: Proceedings of ICFEM 2010, LNCS, vol. 6447, pp. 90–105.
3. Temporal Logic and Temporal Logic Programming;Duan,2006
4. Projection in temporal logic programming;Duan,1994
5. Executing Temporal Logic Programs;Moszkowski,1986
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献