Author:
Barringer Howard,Fisher Michael,Gabbay Dov,Gough Graham,Owens Richard
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. M. Abadi. Temporal-Logic Theorem Proving. PhD thesis, Department of Computer Science, Stanford University, March 1987.
2. M. Abadi. The Power of Temporal Proofs. In Proc. Symp. on Logic in Computer Science, pages 123–130, Ithaca, June 1987.
3. M. Abadi and Z. Manna. Non-clausal Temporal Deduction. Lecture Notes in Computer Science, 193:1–15, June 1985.
4. M. Abadi and Z. Manna. A Timely Resolution. In Proc. Symp. on Logic in Computer Science, pages 176–186, Boston, June 1986.
5. M. Baudinet. Temporal Logic Programming is Complete and Expressive. In Proceedings of ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献