ELEMENTARY LOGIC PROGRAMS

被引：0

作者：

TARAU, P ^{[1
]}

BOYER, M ^{[1
]}

机构：

[1] UNIV MONTREAL, DEPT INFORMAT & RECH OPERATIONNELLE, MONTREAL H3C 3J7, QUEBEC, CANADA

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：159 / 173

页数：15

共 50 条

[21] Cauchy completeness in elementary logic
Cifuentes, JC
Sette, AM
Mundici, D
JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (04) : 1153 - 1157
[22] Intuitionistic Logic and Elementary Rules
Humberstone, Lloyd
Makinson, David
MIND, 2011, 120 (480) : 1035 - 1051
[23] ELEMENTARY CLASSES IN INFINITARY LOGIC
URQUHART, A
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 552 - 552
[24] MATES,B - ELEMENTARY LOGIC
KNEEBONE, GT
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 483 - &
[25] CANCELLATION ALGORITHM FOR ELEMENTARY LOGIC
BINKLEY, R
CLARK, R
THEORIA, 1967, 33 : 87 - 97
[26] On Completeness of Logic Programs
Drabent, Wlodzimierz
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 261 - 278
[27] EQUIVALENT LOGIC PROGRAMS
CHAN, KH
JOURNAL OF LOGIC PROGRAMMING, 1990, 8 (03): : 187 - 199
[28] DERIVATION OF LOGIC PROGRAMS
HOGGER, CJ
JOURNAL OF THE ACM, 1981, 28 (02) : 372 - 392
[29] Evolving logic programs
Alferes, JJ
Brogi, A
Leite, JA
Pereira, LM
LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 50 - 61
[30] LOGIC PROGRAMS AND ALTERNATION
STEPANEK, P
STEPANKOVA, O
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 99 - 106