COUNTING PATHS - NONDETERMINISM AS LINEAR ALGEBRA

被引：3

作者：

BENSON, DB

机构：

来源：

关键词：

D O I：

10.1109/TSE.1984.5010307

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：785 / 794

页数：10

共 17 条

[1] PARAMETER PASSING IN NONDETERMINISTIC RECURSIVE PROGRAMS [J].

BENSON, DB .

[2]

BERMAN A, 1980, NONNEGATIVE MATRICES

[3]

Cvetkovic D., 1980, SPECTRA GRAPHS THEOR

[4]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[5] NONDETERMINISTIC ALGORITHMS [J].

FLOYD, RW .

[6] ON THE TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS [J].

HAREL, D .

[7]

HAREL D, 1979, LECTURE NOTES COMPUT, V68

[8]

Hennessy M, 1982, LECTURE NOTES COMPUT, V137, P178

[9] SEMANTICS OF PROBABILISTIC PROGRAMS [J].

KOZEN, D .

[10]

Lehmann D. J., 1977, Theoretical Computer Science, V4, P59, DOI 10.1016/0304-3975(77)90056-1