Author:
Hodkinson Ian,Wolter Frank,Zakharyaschev Michael
Reference47 articles.
1. M. Abadi, The power of temporal proofs, Proc. Symp. on Logic in Computer Science, Ithaca, June 1987, pp. 176–186.
2. Temporal connectives versus explicit timestamps in temporal query languages;Abiteboul,1995
3. S. Abiteboul, L. Herr, J. van den Bussche, Temporal versus first-order logic in query temporal databases, ACM Symp. on Principles of Database Systems, Montreal, Canada, 1996, pp. 49–57.
4. H. Andréka, I. Németi, I. Sain, Completeness problems in verification of programs and program schemes, Mathematical Foundations of Computer Science 1979, Lecture Notes in Computer Science, Springer, Berlin, 1979.
5. Modal languages and bounded fragments of predicate logic;Andréka;J. Philos. Logic,1998
Cited by
127 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献