A PROOF SYSTEM FOR THE 1ST-ORDER RELATIONAL CALCULUS

被引：7

作者：

HENNESSY, MCB ^{[1
]}

机构：

[1] UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA

来源：

关键词：

D O I：

10.1016/0022-0000(80)90007-0

中图分类号：

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

学科分类号：

0812 [计算机科学与技术];

摘要：

引用

页码：96 / 110

页数：15

共 11 条

[1]

BAKKER JWD, 1973, IRIA S AUTOMATA FORM

[2]

BAKKER JWD, 1971, 24 MATH CENTR MATH C

[3]

HENNESSY MCB, 1976, THESIS U WATERLOO

[4]

HITCHCOCK P, 1973, THESIS U WARWICK

[5]

HITCHCOCK P, 1973, IRIA S AUTOMATA FORM

[6]

KFOURY, AJ ;

PARK, DMR .

INFORMATION AND CONTROL, 1975, 29 (03) :243-251

[7]

LYNDON EC, 1950, ANN MATH, V51, P707

[8]

ROEVER WPD, 1974, 1W174 MATH CENTR AFD

[9]

SMULLYAN R, 1967, 1ST ORDER LOGIC

[10]

TARSKI A., 1941, J SYMBOLIC LOGIC, V6, P73, DOI DOI 10.2307/2268577