Publisher
Springer Berlin Heidelberg
Reference62 articles.
1. Abadi, M., Manna, Z.: Temporal Logic Programming. Journal of Symbolic Computation 8, 277–295 (1989)
2. Abadi, M.: The Power of Temporal Proofs. Theoretical Computer Science 64, 35–84 (1989)
3. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: METATEM: An Introduction. Formal Aspects of Computing 7(5), 533–549 (1995)
4. Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds.): The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester (1996)
5. Lecture Notes in Artificial Intelligence;J. Brotherston,2002
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献