AND PARALLELISM AND NONDETERMINISM IN LOGIC PROGRAMS

被引：34

作者：

CONERY, JS

KIBLER, DF

机构：

[1] UNIV OREGON,DEPT COMP & INFORMAT SCI,EUGENE,OR 97403

[2] UNIV CALIF IRVINE,DEPT INFORMAT & COMP SCI,IRVINE,CA 92717

来源：

关键词：

AND PARALLELISM - DATA FLOW - LOGIC PROGRAMMING - NONDETERMINISM - OR PARALLELISM;

D O I：

10.1007/BF03037115

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：43 / 70

页数：28

共 20 条

[1]

CIEPIELEWSKI A, 1982, CSALAB821121 ROYAL I

[2]

CLARK KL, 1981, OCT P C FUNCT PROGR, P171

[3]

CLARK KL, 1979, EXPERT SYSTEMS MICRO

[4]

CONERY JS, 1981, OCT P ACM C FUNCT PR, P163

[5]

CONERY JS, 1983, 8TH P INT JOINT C AR, P539

[6]

CONERY JS, 1983, THESIS U CALIFORNIA

[7]

CONERY JS, 1981, 166 U CAL DEP INF CO

[8]

EISINGER N, 1982, 1ST P INT PROGR C MA, P1

[9]

FURUKAWA K, 1982, 1ST P INT LOG PROGR, P38

[10]

GOSTELOW KP, 1980, IEEE T COMPUT, V29, P905, DOI 10.1109/TC.1980.1675474