Proving equivalence of different axiomatizations of free groups
暂无分享,去创建一个
[1] D. Knuth,et al. Simple Word Problems in Universal Algebras , 1983 .
[2] Ursula Martin. Doing algebra with REVE , 1986 .
[3] Nachum Dershowitz,et al. Termination of Rewriting , 1987, J. Symb. Comput..
[4] David Detlefs,et al. A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules , 1985, RTA.
[5] B. H. Neumann. Another single law for groups , 1981, Bulletin of the Australian Mathematical Society.
[6] Pierre Lescanne,et al. Term Rewriting Systems and Algebra , 1984, CADE.
[7] Deepak Kapur,et al. RRL: A Rewrite Rule Laboratory , 1986, CADE.
[8] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.