INTERPOLATION THEOREMS FOR RESOLUTION IN LOWER PREDICATE CALCULUS

被引：8

作者：

SLAGLE, JR

机构：

来源：

关键词：

D O I：

10.1145/321592.321604

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：535 / &

共 23 条

[1]

BETH EW, 1953, KONINKLIJKE NEDERLAN, V56, P330

[2]

Craig W., 1957, J SYMBOLIC LOGIC, V22, P250, DOI 10.2307/2963593

[3]

Craig W., 1957, J SYMBOLIC LOGIC, P269, DOI DOI 10.2307/2963594

[4]

DARLINGTON JL, 1968, MACH INTELL, V3, P113

[5]

Godel K., 1930, MONATSHEFTE MATH PHY, V37, P103, DOI DOI 10.1007/BF01696781

[6]

GREEN C, 1968, 23 P NAT C ACM

[7]

Green C.C., 1968, P ACM 23 NAT C, P169, DOI [10.1145/800186.810578, DOI 10.1145/800186.810578]

[8]

GUARD J, FORMAL SYSTEMS NONNU

[9]

KLEENE SC, 1967, MATHEMATICAL LOGIC

MELTZER, B .