共 50 条
A SHORT PROOF OF A THEOREM OF ADJAN
被引:0
|作者:
ZHANG, LX
[1
]
机构:
[1] UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA
关键词:
D O I:
暂无
中图分类号:
O29 [应用数学];
学科分类号:
070104 ;
摘要:
In this note, using the technique of rewriting, we give a short proof of a theorem of Adjan: the word problem is decidable for special one-relator monoids (A; w = e).
引用
收藏
页码:1 / 3
页数:3
相关论文