Author:
Cerrito Serenella,Mayer Marta Cialdea,Praud Sébastien
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. M. Abadi. The power of temporal proofs. Theoretical Computer Science, 65:35–83, 1989.
2. M. Abadi and Z. Manna. Nonclausal deduction in first-order temporal logic. Journal of the Association for Computing Machinery, 37:279–317, 1990.
3. S. Abiteboul, L. Herr, and J. Van den Bussche. Temporal versus first-order logic to query temporal databases. In Proc. of the 15th Int. Conf. on Principles of Databases (PODS’96), 1996.
4. Lect Notes Comput Sci;H. Barringer,1989
5. V. Benzaken, S. Cerrito, and S. Praud. Vérification statique de contraintes d’intégrité dynamiques. In Proc. of 15èmes Journées Bases de Données Avancées (BDA99), Bordeaux, France, October 1999. To appear.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献