Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. R.S. Boyer and J S. Moore. A Computational Logic. Academic Press, 1979.
2. J. Brauburger. Computing the domains of partial functions. Technical Report IBN-97-44, Darmstadt University of Technology, 1997.
3. J. Brauburger and J. Giesl. Termination analysis for partial functions. In Proceedings of 3rd SAS, LNCS 1145, pp. 113–127. Springer, 1996.
4. G.E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Proc. 2nd GI Conf. on Automata Theory and Formal Languages, 1975.
5. N. Dershowitz. Termination of rewriting. Journal of Symbolic Computation, 3(1, 2):69–115, 1987.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献