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
相关论文
共 50 条