Author:
Hodkinson Ian,Wolter Frank,Zakharyaschev Michael
Publisher
Springer Berlin Heidelberg
Reference64 articles.
1. M. Abadi. The power of temporal proofs. In Proc. Symp. on Logic in Computer Science, pages 176–186, Ithaca, 1979.
2. S. Abiteboul, L. Herr, and J. van den Bussche. Temporal connectives versus explicit timestamps in temporal query languages. In J. Clifford and A. Tuzhilin, editors, Recent Advances in Temporal Databases, pages 43–57. Springer, 1995.
3. S. Abiteboul, L. Herr, and J. van den Bussche. Temporal versus first-order logic in query temporal databases. In ACM Symposium on Principles of Database Systems, pages 49–57, Montreal, Canada, 1996.
4. Lect Notes Comput Sci;H. Andréka,1979
5. H. Andréka, J. van Benthem, and I. Németi. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27:217–274, 1998.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献