CORRECTNESS OF NONDETERMINISTIC PROGRAMS

被引：21

作者：

MANNA, Z ^{[1
]}

机构：

[1] STANFORD UNIV,STANFORD,CA

来源：

ARTIFICIAL INTELLIGENCE | 1970年 / 1卷 / 1-2期

关键词：

D O I：

10.1016/0004-3702(70)90002-0

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：1 / 26

页数：26

相关论文

共 13 条

[1]

ASHCROFT E, 1970, AI110 STANF ART INT

[2]

FIKES RE, 1968, THESIS CARNEGIE MELL

[3]

FLOYD RW, 1967, J ACM OCT

[4]

GREEN C, 1969, MAY P INT JOINT C AR

[5]

MANNA Z, 1969, J COMPUTER SYSTE MAY

[6]

MANNA Z, 1970, MAY P ACM S THEOR CO

[7]

MANNA Z, 1969, J ACM APR

[8]

Manna Z., 1968, THESIS CARNEGIE MELL

[9]

MANNA Z, 1970, J ACM JUL

[10]

MCCARTHY J, 1958, MECHANIZATION THOUGH, V1, P77