THE UNDECIDABILITY OF THE 2ND-ORDER UNIFICATION PROBLEM

被引：153
|
作者：
GOLDFARB, WD
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1981年 / 13卷 / 02期
关键词：
D O I：
10.1016/0304-3975(81)90040-2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：225 / 230
页数：6
相关论文
共 50 条
12345