Author:
Balbiani Philippe,Orlowska Ewa
Reference27 articles.
1. Arhangelsky, D. and Taitslin, M. 1989.A logic for data description., Logic at Botik'89. Lecture Notes in Computer Science 363 Edited by: Meyer, A. and Taitslin, M. 2–11. Springer-Verlag.
2. Balbiani, P. 1996.A modal logic for data analysis., Mathematical Foundations of Computer Science 1996 Lecture Notes in Computer Science 1113 Edited by: Penczek, W. and Szalas, A. 167–179. Springer-Verlag.
3. Danecki, R. 1985.Nondeterministic propositional dynamic logic with intersection is decidable., Computation Theory. Lecture Notes in Computer Science 208 Edited by: Skowron, A. 34–53. Springer-Verlag.
4. Demri, S. 1996.The validity problem for DALLA is decidable.Vol. 4, 79–86. Bulletin of the Polish Academy of Sciences, Mathematics, Volume
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献