Author:
Necula George C.,Lee Peter
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Studies in Logic and the Foundations of Mathematics;W. Ackermann,1954
2. Aspvall, B., Shiloach, Y.: A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality. SIAM Journal on Computing 9(4), 827–845 (1980)
3. Bledsoe, W.W.: The Sup-Inf method in Presurger arithmetic. Technical report. University of Texas Math Dept. (December 1974)
4. Boyer, R., Moore, J.S.: A Computational Logic. Academic Press, London (1979)
5. Boulton, R.J.: A lazy approach to fully-expansive theorem proving. In: International Workshop on Higher Order Logic Theorem Proving and its Applications, Leuven, Belgium, pp. 19–38. North- Holland, Amsterdam (1992) IFIP Transactions
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献