Author:
Brauburger Jürgen,Giesl Jürgen
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. J. Brauburger & J. Giesl. Termination Analysis for Partial Functions. Technical Report IBN 96/33, TH Darmstadt, 1996. Available from http://kirmes. inferenzsysteme.informatik.th-darmstadt.de/~report/ibn-96-33.ps.gz.
2. [Bi+86] S. Biundo, B. Hummel, D. Hutter & C. Walther. The Karlsruhe Induction Theorem Proving System. Pr. 8th CADE, LNCS 230, Oxford, England, 1986.
3. R. S. Boyer & J S. Moore. A Computational Logic. Academic Press, 1979.
4. R. S. Boyer & J. S. Moore. The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover. Journal of Automated Reasoning, 4:117–172, 1988.
5. [Bu+90] A. Bundy, F. van Harmelen, C. Horn & A. Smaill. The Oyster-Clam System. In Proc. 10th CADE, LNAI 449, Kaiserslautern, Germany, 1990.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献