THE POWER OF TEMPORAL PROOFS

被引：49

作者：

ABADI, M ^{[1
]}

机构：

[1] STANFORD UNIV,DEPT COMP SCI,STANFORD,CA 94305

来源：

关键词：

D O I：

10.1016/0304-3975(89)90138-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：35 / 83

页数：49

共 30 条

[21]

PARIKH R, COMMUNICATION

[22] THE TEMPORAL SEMANTICS OF CONCURRENT PROGRAMS [J].

PNUELI, A .

[23]

Rogers Jr. H., 1967, MCGRAW HILL SERIES H

[24]

SAIN I, 1985, LECTURE NOTES COMPUT, V193, P302

[25]

SAIN I, 1985, UNPUB RELATIVE PROGR

[26]

SOLOVAY RM, 1976, ISRAEL J MATH, V25, P287, DOI 10.1007/BF02757006

[27]

van Benthem J., 1984, HDB PHILOS LOGIC, P167

[28]

VANBENTHEM J, 1982, LOGIC TIME

[29]

Waldinger R., 1985, LOGICAL BASIS COMPUT, V1

[30]

[No title captured]