共 2 条
- [1] Rogers H, 1972, THEORY RECURSIVE FUN
- [2] YU GK, 1982, T MOSKOVSK MAT OBSHC, V44, P62
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
相关论文