Author:
Johansson Moa,Bundy Alan,Dixon Lucas
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Basin, D., Walsh, T.: A calculus for and termination of rippling. Journal of Automated Reasoning 1-2(16), 147–180 (1996)
2. Brotherston, J., Dennis, L.: LambdaClam v.4.0.1 User/Developer’s manual, Available online: http://dream.inf.ed.ac.uk/software/lambda-clam/
3. Bundy, A.: The use of explicit plans to guide inductive proofs. In: 9th International Conference on Automated Deduction, pp. 111–120 (1988)
4. Bundy, A.: The termination of rippling + unblocking. Informatics research paper 880, University of Edinburgh (1998)
5. Bundy, A., Basin, D., Hutter, D., Ireland, A.: Rippling: Meta-level Guidance for Mathematical Reasoning. Cambridge University Press, Cambridge (2005)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献