Author:
Degtyarev Anatoli,Fisher Michael
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In Proceedings of 17th Symposium on Database Systems (PODS’1998), pages 179–187. ACM Press, 2000.
2. L. Bachmair and H. Ganzinger. Resolution theorem proving. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume 1, pages 19–100. Elsevier Science and MIT Press, 2001.
3. E. Börger, E. Grôdel, and Yu. Gurevich. The Classical Decision Problem. Springer Verlag, 1997.
4. A. Degtyarev and M. Fisher. Propositional temporal resolution revised. In H.J. Ohlbach, editor, Proc. of 7th UK Workshop on Automated Reasoning (ARW’00), London, U.K., June 2000.
5. M. Fisher, C. Dixon, and M. Peim. Clausal temporal resolution. ACM Transactions on Computation Logic, 2(1), January 2001.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mechanising first-order temporal resolution;Information and Computation;2005-05
2. Monodic ASMs and Temporal Verification;Lecture Notes in Computer Science;2004
3. Handling Equality in Monodic Temporal Resolution;Logic for Programming, Artificial Intelligence, and Reasoning;2003
4. Monodic Temporal Resolution;Automated Deduction – CADE-19;2003
5. Searching for Invariants Using Temporal Resolution;Logic for Programming, Artificial Intelligence, and Reasoning;2002