Author:
Ma Minghui,Seligman Jeremy
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;R. Danecki,1985
2. Enderton, H.B.: Computability Theory: An Introduction to Recursion Theory. Elsevier (2011)
3. Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18(2), 194–211 (1979)
4. Harel, D.: Dynamic logic. In: Handbook of Philosophical Logic, vol. II, pp. 496–604. D. Reidel Publishers (1984)
5. Lecture Notes in Computer Science;D. Kozen,1980
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献