Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference12 articles.
1. Fisher, M.:A Resolution Method for Temporal Logic, Proc. IJCAI, Sydney, 1991
2. Fitting, M.:First-Order Logic and Automated Theorem Proving, Springer-Verlag, Berlin, 1990.
3. Gallier, J. H.:Logic for Computer Science: Foundations of Automatic Theorem Proving, Harper and Row, New York, 1986.
4. Kawai, H.: Sequential calculus for a first order infinitary temporal logic,Zeitshr. für Math. Logic und Grundlagen der Math. 33 (1987), 423–432.
5. Lecture Notes in Comput. Sci.;R. Pliuškevičius,1990
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献