Author:
Basin David A.,Walsh Toby
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. D. Basin and T. Walsh. Difference unification. In Proceedings of the 13th IJCAI. International Joint Conference on Artificial Intelligence, 1993.
2. R.S. Boyer and J S. Moore. A Computational Logic. Academic Press, 1979. ACM monograph series.
3. A. Bundy, A. Stevens, F. van Harmelen, A. Ireland, and A. Smaill. Rippling: A heuristic for guiding inductive proofs. Artificial Intelligence, 62:185–253, 1993.
4. A. Bundy, F. van Harmelen, C. Horn, and A. Smaill. The Oyster-Clam system. In M.E. Stickel, editor, 10th International Conference on Automated Deduction. 1990.
5. A. Bundy, F. van Harmelen, A. Smaill, and A. Ireland. Extensions to the rippling-out tactic for guiding inductive proofs. In M.E. Stickel, editor, 10th International Conference on Automated Deduction, pages 132–146. Springer-Verlag, 1990.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Adventures in Mathematical Reasoning;Mathematical Reasoning: The History and Impact of the DReaM Group;2021
2. Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection;IEICE Transactions on Information and Systems;2019-02-01
3. Poitín: Distilling Theorems From Conjectures;Electronic Notes in Theoretical Computer Science;2006-03
4. A calculus for and termination of rippling;Journal of Automated Reasoning;1996-03
5. A calculus for rippling;Conditional and Typed Rewriting Systems;1995