Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Lennart Augustsson. Compiling pattern matching. In J.P. Jouannnaud, editor, Conference on Functional Programming Languages and Computer Architecture (LNCS 201), pages 368–381, Nancy, France, 1985.
2. Richard Boulton, Alan Bundy, Mike Gordon, and Konrad Slind. A prototype interface between Clam and HOL. Participants Proceedings of TPHOLs97, May 1997.
3. Robert S. Boyer and J Strother Moore. A Computational Logic. Academic Press, 1979.
4. Alan Bundy. The use of explicit plans to guide inductive proofs. In R. Lusk and R. Overbeek, editors, Proceedings of the Ninth International Conference on Automated Deduction, pages 111–120. Springer-Verlag, 1988.
5. Juergen Giesl. Termination of nested and mutually recursive algorithms. Journal of Automated Reasoning, page ??, 1996. to appear.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献