Proving Group Isomorphism Theorems (Extended Abstract)
暂无分享,去创建一个
[1] H. Brown,et al. Computational Problems in Abstract Algebra , 1971 .
[2] Stéphane Kaplan. Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence , 1984, ADT.
[3] Robert S. Boyer,et al. Computational Logic , 1990, ESPRIT Basic Research Series.
[4] Harald Ganzinger. A Completion Procedure for Conditional Equations , 1987, CTRS.
[5] D. Knuth,et al. Simple Word Problems in Universal Algebras , 1983 .
[6] Larry Wos,et al. Automated reasoning - 33 basic research problems , 1988 .
[7] Deepak Kapur,et al. An Overview of Rewrite Rule Laboratory (RRL) , 1989, RTA.