Author:
Aoto Takahito,Toyama Yoshihito
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. T. Aoto and Y. Toyama. Persistency of confluence. Research Report IS-RR-960009F, School of Information Science, JAIST, 1996.
2. T. Aoto and Y. Toyama. Top-down labelling and modularity of term rewriting systems. Research Report IS-RR-96-0023F, School of Information Science, JAIST, 1996.
3. B. Gramlich. Abstract relations between restricted termination and confluence properties of rewrite systems. Fundamenta Informaticae, 24:285–296, 1995.
4. G. Huet. Confluent reductions: abstract properties and applications to term rewriting systems. Journal of Association for Computing Machinery, 27(4):797–821, 1980.
5. D. E. Knuth and P. B. Bendix. Simple word problems in universal algebras. In J. Leech, editor, Computational problems in abstract algebra, pages 263–297. Pergamon Press, 1970.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献