Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Ronald V Book and Friedrich Otto, String-rewriting systems, Springer Verlag Texts and Monographs in Computer Science, New York 1993
2. W Bosma and J Cannon, Handbook of MAGMA functions, Department of Pure Mathematics, University of Sydney 1993
3. E A Cichon and P Lescanne, Polynomial Interpretations and the Complexity of Algorithms, in Proceedings of the 11th International Conference on Computer Aided Deduction, Lecture Notes in Computer Science 607, Springer Verlag, 1992
4. J. Conway et al, The Atlas of Finite Simple groups, Oxford University Press, 1987
5. N. Dershowitz, Termination of Rewriting, J. Symbolic Computation, 3 (1987) 69–116
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献