Subject
Computational Mathematics,Algebra and Number Theory
Reference247 articles.
1. Code Optimisation and finite Church-Rosser theorems;Aho,1972
2. Bifurcation theory and computer algebra: an initial approach;Armbruster;Springer Lec. Notes Comp. Sci.,1985
3. A simplified proof of the charncterisation theorem for Gröbner bases;Bachmair;ACM SIGSAM Bull.,1980
4. Termination orderings for associative commutative rewriting systems;Bachmair;J. Symbolic Computation,1985
5. New decision algorithms for finitely presented commutative semigroups;Ballantyne,1981
Cited by
60 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献