Author:
Castellini Claudio,Smaill Alan
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Martin Abadí and Zohar Manna. Nonclausal deduction in first-order temporal logic. Journal of the ACM, 37(2):279–317, April 1990.
2. A. Bundy. The use of explicit plans to guide inductive proofs. In R. Lusk and R. Overbeek, editors, 9th International Conference on Automated Deduction, pages 111–120. Springer-Verlag, 1988. Longer version available from Edinburgh as DAI Research Paper No. 349.
3. Muffy Calder, Mario Kolberg, Evan H. Magill, and Stephan Reiff-Marganiec. Feature interaction: A critical review and considered forecast. Computer Networks, 2002.
4. Lect Notes Comput Sci;M. Calder,2001
5. C. Castellini and A. Smaill. Tactic-based theorem proving in first-order modal and temporal logics. In E. Giunchiglia and F. Massacci, editors, Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics, TR DII 14/01. University of Siena, June 2001.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献