Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Cavalli, A., “A method of automatic proof for the specification and verification of protocols,” ACM SIGCOMM 84 Symposium, Montreal, Canada, 1984.
2. Cavalli, A., and L. Fariñas del Cerro, “A decision method for linear temporal logic,” Seventh Conference on Automated Deduction, Napa, CA, May 1984, pp. 113–127.
3. Gabbay, D., A. Pnueli, S. Shelah and J. Stavi, “The temporal analysis of fairness,” Seventh ACM Symposium on Principles of Programming Languages, Las Vegas, NV, January 1980, pp. 163–173.
4. Huet, G. P., “Constrained resolution: a complete method for higher order logic,” Ph.D. Thesis, Case Western University, Jennings Computing Center Report 1117, August 1972.
5. Huet, G. P., “A unification algorithm for typed λ-calculus,” Theoretical Computer Science, Vol. 1, No. 1, pp. 27–57.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Invariant-Free Clausal Temporal Resolution;Journal of Automated Reasoning;2011-12-02
2. References;An Introduction to Practical Formal Methods Using Temporal Logic;2011-04-26
3. 11 Temporal logic;Handbook of Modal Logic;2007
4. Time in Qualitative Simulation;Foundations of Artificial Intelligence;2005
5. A Temporal extension of Prolog;The Journal of Logic Programming;1993-01