Author:
Della Monica Dario,Pagliarini Giovanni,Sciavicco Guido,Stan Ionel Eduard
Publisher
Springer International Publishing
Reference17 articles.
1. Aiello, M., van Benthem, J.: A modal walk through space. J. Appl. Non-Class. Log. 12(3–4), 319–364 (2002)
2. Belson, W.A.: A technique for studying the effects of television broadcast. J. Roy. Stat. Soc. Ser. C 5(3), 195–202 (1956)
3. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
4. Breiman, L., Friedman, J.H., Olshen, R.A., Stone, C.J.: Classification and Regression Trees. Wadsworth Publishing Company, New York (1984)
5. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (eds.) Logics of Programs. Logic of Programs 1981. LNCS, vol. 131, pp. 52–71. Springer, Heidelberg (1982). https://doi.org/10.1007/BFb0025774
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献