Author:
Kozen Dexter,Parikh Rohit
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Fischer, M.J. and R.E. Ladner, "Propositional Dynamic Logic of Regular Programs," J. Comput. Syst. Sci. 18:2 (1979), 194–211.
2. Kozen, D., "Results on the propositional μ-calculus," Proc. 9th Int. Colloq. on Automata, Languages, and Programming, 1982, Springer-Verlag, 348–359.
3. Pratt, V.R., "A Decidable μ-calculus (preliminary report)," Proc. 22nd IEEE Symp. on Foundations of Computer Science, 1981, 421–427.
4. Rabin, M.O., "Decidability of second-order theories and automata on infinite trees," Trans. Amer. Math. Soc. 141 (1969), 1–35.
5. Streett, R., "Propositional Dynamic Logic of looping and converse," Proc. 13th ACM Symp. on Theory of Computing, 1981, 375–383.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献