Author:
Feldman Yishai A.,Harel David
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference27 articles.
1. Soundness and completeness of an axiom system for program verification;Cook;SIAM J. Comput.,1978
2. A decidable propositional probabilistic dynamic logic;Feldman,1983
3. Propositional dynamic logic of regular programs;Fischer;J. Comput. System Sci.,1979
4. Concerning measures in first order calculi;Gaifman;Israel J. Math.,1964
5. Measure Theory;Halmos,1950
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献