Publisher
Springer International Publishing
Reference24 articles.
1. Artemov, S.N., Beklemishev, L.D.: Provability logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. XIII, 2nd edn, pp. 181–360. Springer, Berlin (2005)
2. Bauer, A., Leucker, M., Schallhart, C.: Comparing ltl semantics for runtime verification. J. Log. Comput. 20(3), 651–674 (2010)
3. Bergstra, J.A., Tucker, J.V.: Initial and final algebra semantics for data type specifications: two characterization theorems. SIAM J. Comput. 12(2), 366–387 (1983)
4. Lecture Notes in Computer Science;A Ştefănescu,2014
5. Lecture Notes in Computer Science;M D’Amorim,2005
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献