UNDECIDABILITY OF 3RD ORDER DYADIC UNIFICATION PROBLEM

被引：4

作者：

BAXTER, LD

机构：

来源：

INFORMATION AND CONTROL | 1978年 / 38卷 / 02期

关键词：

D O I：

10.1016/S0019-9958(78)90172-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：170 / 178

页数：9

共 13 条

[1] PROVABILITY IN ELEMENTARY TYPE THEORY [J].

ANDREWS, PB .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1974, 20 (05) :411-418

[2]

BAXTER LD, 1976, THESIS U WATERLOO

[3]

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

[4]

Huet G, 1976, THESIS U PARIS

[5]

Huet G. P., 1975, Theoretical Computer Science, V1, P27, DOI 10.1016/0304-3975(75)90011-0

[6] UNDECIDABILITY OF UNIFICATION IN THIRD-ORDER LOGIC [J].

HUET, GP .

INFORMATION AND CONTROL, 1973, 22 (03) :257-267

[7]

LUCCHESI C, 1972, CSRR2059 U WAT DEP C

[8]

Matijasevi J.V, 1970, DOKL AKAD NAUK SSSR, V191, P279

[9]

PIETRZYKOWSKI T, 1972, 1972 P ASS COMP MACH, V1, P82

[10] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].

ROBINSON, JA .