On locally finite varieties with undecidable equational theory

被引:0
|
作者
Marcel Jackson
机构
[1] University of Tasmania,
[2] Hobart,undefined
[3] Australia¶Current address: Department of Mathematics,undefined
[4] La Trobe University,undefined
[5] Victoria 3086,undefined
[6] Australia,undefined
[7] e-mail: m.g.jackson@latrobe.edu.au,undefined
来源
algebra universalis | 2002年 / 47卷
关键词
Key words and phrases: Pseudorecursive varieties, word problem, membership problem, decidability, equational theory.;
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:1 / 6
页数:5
相关论文
共 50 条