文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Gerd Mitschke
发表
Ein algebraischer Beweis für das Church-Rosser-Theorem
Gerd Mitschke, 1972 .
λ-definierbare Funktionen auf Peanoalgebren
Gerd Mitschke, Gerd Mitschke, 1972 .