UNSOLVABLE DECISION-PROBLEMS FOR PROLOG PROGRAMS

被引：0

|

作者：

BORGER, E

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 270卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：37 / 48

页数：12

相关论文

共 50 条

[1] COMPLEXITY OF LOGICAL DECISION-PROBLEMS AND NORMAL FORMS FOR PROLOG-PROGRAMS
BORGER, E
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 835 - 836
[2] ON SOME DECISION-PROBLEMS FOR RAM PROGRAMS
IBARRA, OH
MORAN, S
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 24 (01) : 69 - 81
[3] DISCRETE DECISION-PROBLEMS
SUZUKI, Y
[J]. ANNALS OF THE INSTITUTE OF STATISTICAL MATHEMATICS, 1958, 9 (03) : 131 - 148
[4] DECISION-PROBLEMS FOR PATTERNS
JIANG, T
SALOMAA, A
SALOMAA, K
YU, S
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 50 (01) : 53 - 63
[5] TEAM DECISION-PROBLEMS
RADNER, R
[J]. ANNALS OF MATHEMATICAL STATISTICS, 1962, 33 (03): : 857 - &
[6] DECISION-PROBLEMS AND VALUES
COOPER, W
[J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1994, 208 : 173 - ENVR
[7] CATEGORIES OF DECISION-PROBLEMS AND THEIR RESOLUTION
RADFORD, KJ
[J]. INFOR, 1980, 18 (01) : 82 - 88
[8] DECOMPOSITION OF SATISFICING DECISION-PROBLEMS
TAKATSU, S
[J]. INFORMATION SCIENCES, 1980, 22 (02) : 139 - 148
[9] DECISION-PROBLEMS OF OBJECT HISTORIES
CHO, YK
GINSBURG, S
[J]. INFORMATION AND COMPUTATION, 1989, 83 (02) : 245 - 263
[10] BAYESIAN MULTISTAGE DECISION-PROBLEMS
WITMER, JA
[J]. ANNALS OF STATISTICS, 1986, 14 (01): : 283 - 297

← 1 2 3 4 5 →