On connection between the word problem and decidability of the equational theory

被引：0

作者：

Popov, VY

机构：

来源：

关键词：

Natural Number; Word Problem; Algebraic System; Equational Theory; Recursive Function;

D O I：

10.1007/BF02674748

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：921 / 923

页数：3