ON NONDETERMINISTIC PROGRAMS

被引：0

|

作者：

LANDWEHR, CE

机构：

来源：

COMMUNICATIONS OF THE ACM | 1982年 / 25卷 / 04期

关键词：

D O I：

10.1145/358468.383440

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：292 / 292

页数：1

相关论文

共 50 条

[1] IMPLEMENTATIONS OF NONDETERMINISTIC PROGRAMS
GUERREIRO, P
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 167 : 133 - 144
[2] CORRECTNESS OF NONDETERMINISTIC PROGRAMS
MANNA, Z
ARTIFICIAL INTELLIGENCE, 1970, 1 (1-2) : 1 - 26
[3] A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS
GILLUEZAS, A
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 197 - 208
[4] Termination of nondeterministic quantum programs
Li, Yangjia
Yu, Nengkun
Ying, Mingsheng
ACTA INFORMATICA, 2014, 51 (01) : 1 - 24
[5] Termination of Nondeterministic Probabilistic Programs
Fu, Hongfei
Chatterjee, Krishnendu
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 468 - 490
[6] ON THE TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS
HAREL, D
THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 175 - 192
[7] Termination of nondeterministic quantum programs
Yangjia Li
Nengkun Yu
Mingsheng Ying
Acta Informatica, 2014, 51 : 1 - 24
[8] THE CORRECTNESS OF NONDETERMINISTIC PROGRAMS REVISITED
HOLENDERSKI, L
INFORMATION PROCESSING LETTERS, 1986, 23 (06) : 299 - 303
[9] 2 MOST NONDETERMINISTIC PROGRAMS
WILTINK, JG
SCIENCE OF COMPUTER PROGRAMMING, 1986, 6 (01) : 89 - 94
[10] PARAMETER PASSING IN NONDETERMINISTIC RECURSIVE PROGRAMS
BENSON, DB
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 19 (01) : 50 - 62

← 1 2 3 4 5 →