摘要:Max Dehn和Axel Thue在(半)群词问题的表述和证明中的角色及词问题不可判定的证明故事
作者:Stefan M"uller-Stach
论文ID:1703.09750
分类:History and Overview
分类简称:math.HO
提交时间:2023-03-29
PDF 下载: 英文版 中文版pdf翻译中