Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. D. Craigen, S. Kromodimoelijo, I. Meisels. W. Pase, and M. Saaltink, “Eves system description,” Proc. Automated Deduction — CADE 11, LNAI 607 (ed. Kapur), Springer Verlag (1992), 771–775.
2. D. Cyrluk, P. Lincoln, and N. Shankar, “On Shostak's decision procedures for combination of theories,” Proc. Automated Deduction — CADE 13, LNAI 1104 (eds. McRobbie and Slaney), Springer Verlag (1996), 463–477.
3. P.J. Downey, R. Sethi, and R.E. Tarjan, “Variations on the common subexpression problem,” JACM, 27(4) (1980), 758–771
4. Z. Fülöp, and S. Vagvölgyi, “Ground term rewriting rules for the word problem of ground term equations,” Bulletin of the EATCS, 45 (1991), 186–201.
5. G. Huet and D. Lankford, On the Uniform Halting Problem for Term Rewriting Systems. INRIA Report 283, March 1978.
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献