A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS

被引：0

|

作者：

GILLUEZAS, A

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 380卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：197 / 208

页数：12

相关论文

共 50 条

[1] A LOGIC FOR THE DESCRIPTION OF NONDETERMINISTIC PROGRAMS AND THEIR PROPERTIES
GRAF, S
SIFAKIS, J
INFORMATION AND CONTROL, 1986, 68 (1-3): : 254 - 270
[2] A PROCESS LOGIC FOR NONDETERMINISTIC WHILE-PROGRAMS
ZILLI, MV
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 346 - 346
[3] MODAL LOGIC OF CONCURRENT NONDETERMINISTIC PROGRAMS.
Abrahamson, Karl
Instrument Maintenance Management, 1979, 70 : 21 - 33
[4] FUNCTIONAL-BEHAVIOR OF NONDETERMINISTIC PROGRAMS
MAIN, MG
BENSON, DB
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 290 - 301
[5] HOARE LOGIC FOR NONDETERMINISTIC REGULAR PROGRAMS - A NONSTANDARD APPROACH
HORTALAGONZALEZ, MT
RODRIGUEZARTALEJO, M
THEORETICAL COMPUTER SCIENCE, 1989, 68 (03) : 277 - 302
[6] PROVING TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS IN INFINITARY LOGIC
BACK, RJR
ACTA INFORMATICA, 1981, 15 (03) : 233 - 249
[7] WHILE-PROGRAMS WITH NONDETERMINISTIC ASSIGNMENTS AND THE LOGIC ALNA
MASCARI, G
ZILLI, MV
THEORETICAL COMPUTER SCIENCE, 1985, 40 (2-3) : 211 - 235
[8] FUNCTIONAL-BEHAVIOR OF NONDETERMINISTIC AND CONCURRENT PROGRAMS
MAIN, MG
BENSON, DB
INFORMATION AND CONTROL, 1984, 62 (2-3): : 144 - 189
[9] Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions
Huang, Yi
Wang, Yisong
You, Jia-Huai
Zhang, Mingyi
Zhang, Ying
NEW GENERATION COMPUTING, 2021, 39 (01) : 273 - 301
[10] HOARE LOGIC FOR NONDETERMINISTIC REGULAR PROGRAMS - A NONSTANDARD COMPLETENESS THEOREM
HORTALAGONZALEZ, T
RODRIGUEZARTALEJO, M
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 194 : 270 - 280

← 1 2 3 4 5 →