Max Dehn、Axel Thue和不可判定性

摘要:Max Dehn和Axel Thue在(半)群词问题的表述和证明中的角色及词问题不可判定的证明故事

作者:Stefan M"uller-Stach

论文ID:1703.09750

分类:History and Overview

分类简称:math.HO

提交时间:2023-03-29

PDF 下载: 英文版 中文版pdf翻译中