Author:
Boulton Richard J.,Slind Konrad
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lect Notes Comput Sci;R. Boulton,1998
2. R. J. Boulton. Multi-predicate induction schemes for mutual recursion. Informatics Research Report EDI-INF-RR-0014, Division of Informatics, University of Edinburgh, April 2000.
3. ACM Monograph Series;R. S. Boyer,1979
4. 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.
5. A. Bundy, F. van Harmelen, C. Horn, and A. Smaill. The OYSTER-CLAM system. In Proceedings of the 10th International Conference on Automated Deduction, volume 449 of Lecture Notes in Artificial Intelligence, pages 647–648, Springer, 1990.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Applications of Polytypism in Theorem Proving;Lecture Notes in Computer Science;2003
2. Embedding of Systems of Affine Recurrence Equations in Coq;Lecture Notes in Computer Science;2003
3. Searching for Invariants Using Temporal Resolution;Logic for Programming, Artificial Intelligence, and Reasoning;2002
4. Another Look at Nested Recursion;Lecture Notes in Computer Science;2000