Author:
Duan Zhenhua,Yang Xiaoxiao,Koutny Maciej
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Bidoit, N.: Negation in Rule-based Data Base Languages: A Survey. Theoretical Computer Science 78, 3–83 (1991)
2. LNAI;Z. Duan,1994
3. Duan, Z.: An Extended Interval Temporal Logic and A Framing Technique for Temporal Logic Programming. Ph.D Thesis (Technical Report No.556), University of Newcastle upon Tyne (May 1996)
4. Duan, Z., Holcombe, M., Bell, A.: A Logic for Biological Systems. BioSystems 55, 93–105 (2000)
5. Duan, Z., Koutny, M.: A Framed Temporal Logic Programming Language. Journal of Computer Science and Technology 19(3), 341–351 (2004)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献