Subject
Computational Mathematics,Algebra and Number Theory
Reference23 articles.
1. Systems of Reductions;Benninghofen;Lecture Notes in Computer Science,1987
2. Confluent and other types of Thue systems;Book;J. Assoc. Comput. Mach.,1982
3. Decidable sentences of Church-Rosser congruences;Book;Theoret. Comput. Science,1983
4. Thue congruences and the Church-Rosser property;Book;Semigroup Forum,1981
5. Algebraic simplification;Buchberger,1982
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献