Author:
Hsiang Jieh,Rusinowitch Michael
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. D. Brand, “Proving Theorems with the Modification Method”, SIAM J. of Computing, 4, (1975), 412–430.
2. C. L. Chang and C. T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973.
3. N. Dershowitz, “Orderings for Term Rewriting Systems”, J.TCS, 17, 3 (1982), 279–301.
4. J. Hsiang, “Two Results in Term Rewriting Theorem Proving”, Proc. of 1st International Conference in Rewrite Techniques and Applications, May, 1985.
5. J. P. Jouannaud, P. Lescanne and F. Reinig, “Recursive Decomposition Ordering”, Conf. on Formal Description of Programming Concepts II, 1982, 331–346.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献