TEMPORAL LOGIC PROGRAMMING

被引：65

作者：

ABADI, M

MANNA, Z

机构：

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1989年 / 8卷 / 03期

关键词：

D O I：

10.1016/S0747-7171(89)80070-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：277 / 295

页数：19

相关论文

共 26 条

[1]

ABADI M, 1987, 4TH P IEEE S LOG PRO, P4

[2]

ABADI M, 1985, LECTURE NOTES COMPUT, V193, P1

[3]

ABADI M, 1986, S LOGIC COMPUTER SCI, P176

[4]

ARTHAUD R, 1986, MOLOG MANUEL UTILISA

[5]

BAUDINET M, 1989, S PRINCIPLES PROGRAM

[6]

CLIFFORD J, 1985, ACM SIGMOD INT C MAN, P247

[7]

Clocksin W. F., 1981, PROGRAMMING PROLOG

[8]

FAGIN B, 1984, UCBCSD84204 U CAL BE

[9]

FUJITA M, 1986, 3RD INT C LOG PROGR

[10]

GABBAY D, 1987, UNPUB MODAL TEMPORAL