Publisher
Springer International Publishing
Reference27 articles.
1. Lecture Notes in Computer Science;KR Abrahamson,1979
2. Lecture Notes in Computer Science;P Balbiani,2015
3. Balbiani, P., Tinchev, T.: Definability and computability for PRSPDL. In: Goré, R., Kooi, B.P., Kurucz, A. (eds.) Advances in Modal Logic - AiML, pp. 16–33. College Publications, San Diego (2014)
4. Benevides, M.R.F., de Freitas, R.P., Viana, J.P.: Propositional dynamic logic with storing, recovering and parallel composition. In: Hermann Haeusler, E., Farinas del Cerro, L. (eds.) Logical and Semantic Frameworks, with Applications - LSFA. ENTCS, vol. 269, pp. 95–107 (2011)
5. Lecture Notes in Computer Science;J Boudou,2015
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献