UNDECIDABILITY OF UNIFICATION IN THIRD-ORDER LOGIC

被引：55

作者：

HUET, GP ^{[1
]}

机构：

[1] CASE WESTERN RESERVE UNIV,COMP & INFORMATION SCI DEPT,CLEVELAND,OH 44106

来源：

INFORMATION AND CONTROL | 1973年 / 22卷 / 03期

关键词：

D O I：

10.1016/S0019-9958(73)90301-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：257 / 267

页数：11

相关论文

共 15 条

[1]

ANDREWS PB, 1970, J SYMBOLIC LOGIC, V36, P414

[2]

Church A., 1940, J SYMBOLIC LOGIC, V5, P56, DOI 10.2307/2266170

[3]

GOULD WE, 1966, AF196283250 CONTR

[4]

GOULD WE, AD646560

[5]

GUARD JR, AD602710

[6]

GUARD JR, 1964, AF196283250 CONTR

[7]

HUET GP, 1972, THESIS CASE WESTERN

[8]

LUCCHESI CL, 1972, CSRR2059 U WAT DEP A

[9]

Michie, 1969, MACH INTELL, V4, P151

[10]

PIETRZYKOWSKI T, 1972, CSRR2060 U WAT DEP A