A simple decision procedure for Hofstadter’s Mitt-system

• 作者Laif Swanson; Robert J. McEliece
• 卷第10卷
• 期第2期
• 印刷ISSN0343-6993
• 电子ISSN1866-7414
• 文件大小1100.78KB
• 发表时间1988-03
• DOI10.1007/bf03028356
• 页码48-49