PROGRAMS AS PARTIAL GRAPHS .1. FLOW EQUIVALENCE AND CORRECTNESS

被引：37

作者：

SCHMIDT, G

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1981年 / 15卷 / 01期

关键词：

D O I：

10.1016/0304-3975(81)90060-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 25

页数：25

共 50 条

[41] EMPLOYEE REFERRAL PROGRAMS .1.
STOOPS, R
[J]. PERSONNEL JOURNAL, 1981, 60 (02) : 98 - 98
[42] PROGRAMS FOR MACHINE LEARNING .1.
HORMANN, AM
[J]. INFORMATION AND CONTROL, 1962, 5 (04): : 347 - &
[43] ORGANIZATION OF REFERRAL PROGRAMS .1.
HUBBARD, RW
SCHEUER, M
[J]. NURSING OUTLOOK, 1956, 4 (01) : 18 - 19
[44] CLASSIFICATION OF SYMMETRICAL CAUSTICS .1. SYMPLECTIC EQUIVALENCE
JANECZKO, S
ROBERTS, M
[J]. LECTURE NOTES IN MATHEMATICS, 1991, 1463 : 193 - 219
[45] FREE STRUCTURE TREE AUTOMATA .1. EQUIVALENCE
KARPINSKI, M
[J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1973, 21 (05): : 441 - 446
[46] STRING GRAPHS .1. THE NUMBER OF CRITICAL NONSTRING GRAPHS IS INFINITE
KRATOCHVIL, J
[J]. JOURNAL OF COMBINATORIAL THEORY SERIES B, 1991, 52 (01) : 53 - 66
[47] DYAD ALGEBRA AND MULTIPLICATION OF GRAPHS .1. DIRECTED-GRAPHS
SINANOGLU, O
[J]. JOURNAL OF MATHEMATICAL CHEMISTRY, 1993, 14 (02) : 185 - 194
[48] ENUMERATION OF LABELED GRAPHS .1. 3-CONNECTED GRAPHS
WORMALD, N
[J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1979, 19 (FEB): : 7 - 12
[49] Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow
Bose, Subhonmesh
Gayme, Dennice F.
Chandy, K. Mani
Low, Steven H.
[J]. IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2015, 2 (03): : 278 - 287
[50] Comparing Control Flow Graphs of Binary Programs through Match Propagation
Lim, Hyun-il
[J]. 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 598 - 599

← 1 2 3 4 5 →