| [1] |
Liu Mingye; Hong Enyu;. Some Covering Problems and Their Solutions in Automatic Logic Synthesis Systems[J]. , 1986, 1(2): 83
-92
. |
| [2] |
Chen Shihua;. On the Structure of (Weak) Inverses of an (Weakly) Invertible Finite Automaton[J]. , 1986, 1(3): 92
-100
. |
| [3] |
Gao Qingshi; Zhang Xiang; Yang Shufan; Chen Shuqing;. Vector Computer 757[J]. , 1986, 1(3): 1
-14
. |
| [4] |
Chen Zhaoxiong; Gao Qingshi;. A Substitution Based Model for the Implementation of PROLOG——The Design and Implementation of LPROLOG[J]. , 1986, 1(4): 17
-26
. |
| [5] |
Huang Heyan;. A Parallel Implementation Model of HPARLOG[J]. , 1986, 1(4): 27
-38
. |
| [6] |
Min Yinghua; Han Zhide;. A Built-in Test Pattern Generator[J]. , 1986, 1(4): 62
-74
. |
| [7] |
Tang Tonggao; Zhao Zhaokeng;. Stack Method in Program Semantics[J]. , 1987, 2(1): 51
-63
. |
| [8] |
Min Yinghua;. Easy Test Generation PLAs[J]. , 1987, 2(1): 72
-80
. |
| [9] |
Zhang Bo; Zhang Ling;. Statistical Heuristic Search[J]. , 1987, 2(1): 1
-11
. |
| [10] |
Zhu Hong;. Some Mathematical Properties of the Functional Programming Language FP[J]. , 1987, 2(3): 202
-216
. |