Author:
Chen Hong,Hsiang Jieh,Kong Hwa-Chung
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. H. Chen, J. Hsiang, Logic Programming with Recurrence Domains, in preparation.
2. H. Comon, Inductive Proofs by Specifications Transformation, RTA 89, LNCS 355, Page 76–91, Springer-Berlag, April 1989.
3. N. Dershowitz, Ordering for Term Rewriting Systems, Theoretical Computer Science, 17, 1982, Page 279–301
4. M. Hermann, H. Hirchner, Meta-rule Synthesis from Crossed Rewrite Systems, CTRS 90, June 11–14, 1990, Montreal, Canada.
5. M. Hermann, Chain Properties of Rule Closures, Lecture Notes in CS, Stacs 89, 349, Page 339–347.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献