PROGRAMS AS PARTIAL GRAPHS .1. FLOW EQUIVALENCE AND CORRECTNESS

被引：37

作者：

SCHMIDT, G

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(81)90060-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 25

页数：25

共 50 条

[41] PROGRAMS FOR MACHINE LEARNING .1.
HORMANN, AM
INFORMATION AND CONTROL, 1962, 5 (04): : 347 - &
[42] CONTINUOUS DEWORMING PROGRAMS .1.
HACKETT, GE
UHLINGER, C
MITCHELL, R
MCCASHIN, FB
CONBOY, S
EQUINE PRACTICE, 1992, 14 (07): : 13 - 18
[43] EMPLOYEE REFERRAL PROGRAMS .1.
STOOPS, R
PERSONNEL JOURNAL, 1981, 60 (02) : 98 - 98
[44] ORGANIZATION OF REFERRAL PROGRAMS .1.
HUBBARD, RW
SCHEUER, M
NURSING OUTLOOK, 1956, 4 (01) : 18 - 19
[45] CLASSIFICATION OF SYMMETRICAL CAUSTICS .1. SYMPLECTIC EQUIVALENCE
JANECZKO, S
ROBERTS, M
LECTURE NOTES IN MATHEMATICS, 1991, 1463 : 193 - 219
[46] FREE STRUCTURE TREE AUTOMATA .1. EQUIVALENCE
KARPINSKI, M
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1973, 21 (05): : 441 - 446
[47] STRING GRAPHS .1. THE NUMBER OF CRITICAL NONSTRING GRAPHS IS INFINITE
KRATOCHVIL, J
JOURNAL OF COMBINATORIAL THEORY SERIES B, 1991, 52 (01) : 53 - 66
[48] DYAD ALGEBRA AND MULTIPLICATION OF GRAPHS .1. DIRECTED-GRAPHS
SINANOGLU, O
JOURNAL OF MATHEMATICAL CHEMISTRY, 1993, 14 (02) : 185 - 194
[49] ENUMERATION OF LABELED GRAPHS .1. 3-CONNECTED GRAPHS
WORMALD, N
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1979, 19 (FEB): : 7 - 12
[50] RANDOMIZED METHODS OF PARTITIONING GRAPHS .1.
KOROBKOV, BP
RASTRIGIN, LA
ENGINEERING CYBERNETICS, 1982, 20 (03): : 126 - 126