Publisher
Springer International Publishing
Reference11 articles.
1. Bohrer, B., Rahli, V., Vukotic, I., Völp, M., Platzer, A.: Formally verified differential dynamic logic. In: Bertot, Y., Vafeiadis, V. (eds.) CPP. ACM (2017). https://doi.org/10.1145/3018610.3018616
2. Church, A.: Introduction to Mathematical Logic. Princeton University Press, Princeton (1956)
3. LNCS;N Fulton,2015
4. Parikh, R.: Propositional game logic. In: FOCS, pp. 195–200. IEEE (1983). https://doi.org/10.1109/SFCS.1983.47
5. Platzer, A.: Differential game logic. ACM Trans. Comput. Log. 17(1), 1:1–1:52 (2015). https://doi.org/10.1145/2817824
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献