PARAMETER PASSING IN NONDETERMINISTIC RECURSIVE PROGRAMS

被引：7

作者：

BENSON, DB

机构：

来源：

关键词：

D O I：

10.1016/0022-0000(79)90013-8

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：50 / 62

页数：13

共 50 条

[41] LOWER BOUNDS FOR DETERMINISTIC AND NONDETERMINISTIC BRANCHING PROGRAMS
RAZBOROV, AA
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 529 : 47 - 60
[42] RELATIONAL ALGEBRAIC SEMANTICS OF DETERMINISTIC AND NONDETERMINISTIC PROGRAMS
BERGHAMMER, R
ZIERER, H
THEORETICAL COMPUTER SCIENCE, 1986, 43 (2-3) : 123 - 147
[43] ON THE RELATIONSHIP BETWEEN COMPUTED FUNCTIONS AND FIXPOINTS OF NONDETERMINISTIC RECURSIVE DEFINITIONS
CHEN, TY
INFORMATION AND CONTROL, 1981, 50 (01): : 13 - 22
[44] RECURSIVE LINEAR PROGRAMS
KENNEDY, PE
DAY, RH
KEIO ECONOMIC STUDIES, 1976, 13 (01): : 1 - 11
[45] On finitely recursive programs
Baselice, Sabrina
Bonatti, Piero A.
Criscuolo, Giovanni
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 9 : 213 - 238
[46] CALCULATION OF RECURSIVE PROGRAMS
RACHANSKI, V
DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1979, (10): : 853 - 855
[47] On finitely recursive programs
Baselice, S.
Bonatti, P. A.
Criscuolo, G.
LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 89 - +
[48] TRANSFORMATION OF RECURSIVE PROGRAMS
VEILLON, G
REVUE FRANCAISE D AUTOMATIQUE INFORMATIQUE RECHERCHE OPERATIONNELLE, 1976, 10 (09): : 7 - 20
[49] RECURSIVE-PROGRAMS
FLEISCH, BD
IEEE SPECTRUM, 1984, 21 (10) : 12 - 12
[50] A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs
Dimovski, Aleksandar
INTEGRATED FORMAL METHODS, 2010, 6396 : 121 - 135