COMPLEXITY OF LOGICAL DECISION-PROBLEMS AND NORMAL FORMS FOR PROLOG-PROGRAMS

被引：0

|

作者：

BORGER, E

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：835 / 836

页数：2

相关论文

共 14 条

[1] UNSOLVABLE DECISION-PROBLEMS FOR PROLOG PROGRAMS
BORGER, E
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 270 : 37 - 48
[2] THE COMPUTATIONAL-COMPLEXITY OF THE UNCONSTRAINED LIMITED DOMINO PROBLEM (WITH IMPLICATIONS FOR LOGICAL DECISION-PROBLEMS)
FURER, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 171 : 312 - 319
[3] COMMUNICATION COMPLEXITY OF 2 DECISION-PROBLEMS
BJORNER, A
KARLANDER, J
LINDSTROM, B
[J]. DISCRETE APPLIED MATHEMATICS, 1992, 39 (02) : 161 - 163
[4] ON SOME DECISION-PROBLEMS FOR RAM PROGRAMS
IBARRA, OH
MORAN, S
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 24 (01) : 69 - 81
[5] SPECTRAL-PROBLEM AND COMPLETENESS OF LOGICAL DECISION-PROBLEMS
BORGER, E
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 171 : 333 - 356
[6] COMPLEXITY OF DECISION-PROBLEMS UNDER INCOMPLETE INFORMATION
KOWALCZYK, W
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 379 : 331 - 337
[7] COMPLEXITY OF CERTAIN DECISION-PROBLEMS ABOUT CONGRUENTIAL LANGUAGES
NARENDRAN, P
ODUNLAING, C
ROLLETSCHEK, H
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 30 (03) : 343 - 358
[8] A NOTE ON THE SPACE COMPLEXITY OF SOME DECISION-PROBLEMS FOR FINITE AUTOMATA
JIANG, T
RAVIKUMAR, B
[J]. INFORMATION PROCESSING LETTERS, 1991, 40 (01) : 25 - 31
[9] THE COMPLEXITY OF DECISION-PROBLEMS FOR FINITE-TURN MULTICOUNTER MACHINES
GURARI, EM
IBARRA, OH
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1981, 22 (02) : 220 - 229
[10] NORMAL FORMS AND THE COMPLEXITY OF COMPUTATIONS OF LOGIC PROGRAMS
OCHOZKA, V
STEPANKOVA, O
STEPANEK, P
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 385 : 357 - 371