[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] |
Zhang Cui; Zhao Qinping; Xu Jiafu;. Kernel Language KLND[J]. , 1986, 1(3): 65
-79
. |
[5] |
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
. |
[6] |
Huang Heyan;. A Parallel Implementation Model of HPARLOG[J]. , 1986, 1(4): 27
-38
. |
[7] |
Min Yinghua; Han Zhide;. A Built-in Test Pattern Generator[J]. , 1986, 1(4): 62
-74
. |
[8] |
Lu Xuemiao;. On the Complexity of Induction of Structural Descriptions[J]. , 1987, 2(1): 12
-21
. |
[9] |
Tang Tonggao; Zhao Zhaokeng;. Stack Method in Program Semantics[J]. , 1987, 2(1): 51
-63
. |
[10] |
Min Yinghua;. Easy Test Generation PLAs[J]. , 1987, 2(1): 72
-80
. |