共 1 条
- [1] Kleîman Yu. G.(1982)On identities in groups Trudy Moskovsk. Mat. Obshch. 44 62-108
On connection between the word problem and decidability of the equational theory
被引：0
作者：
V. Yu. Popov
机构：
来源：
Siberian Mathematical Journal
|
2000年
/
41卷
关键词：
Natural Number;
Word Problem;
Algebraic System;
Equational Theory;
Recursive Function;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：921 / 923
页数：2
相关论文