Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. M. Abadi and Z. Manna, “Nonclausal temporal deduction,” in Logics of Programs (R. Parikh, ed.), Springer-Verlag LNCS 193, 1985, pp. 1–15.
2. M. Abadi and Z. Manna, “A timely resolution,” Proceedings of the Symposium on Logic in Computer Science (LICS), 1986.
3. L. Fariñas del Cerro, “Temporal reasoning and termination of programs,” Eighth International Joint Conference on Artificial Intelligence, 1983, pp. 926–929.
4. L. Fariñas del Cerro, “Un principe de résolution en logique modale,” RAIRO Informatique Théorique, Vol. 18, No. 2, 1984, pp. 161–170.
5. L. Fariñas del Cerro, “Resolution modal logics,” in Logics and Models of Concurrent Systems (K.R. Apt, ed.), Springer-Verlag, Heidelberg, 1985, pp. 27–55.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献