Contents

ON DENOTATIONAL SEMANTICS OF SMALLTALK-80 Li Zhoujun and Wang Bingshan 1995,6(7):385-390 [Abstract(4381)]  [View PDF(5247)377.59 K]

AN INTEGRATED APPROACH TO FLAT-STRUCTURED PROBLEMS Hu Peng,Shi Chunyi and Wang Kehong 1995,6(7):391-398 [Abstract(3935)]  [View PDF(5188)495.21 K]

IMPLEMENTATION OF DC IN A LOOSELY-COUPLED DISTRIBUTED ENVIRONMENT Tian Laisheng,Huang Lianshu and Xia Bin 1995,6(7):399-406 [Abstract(4518)]  [View PDF(5335)477.85 K]

EQUATIONAL SEMANTICS OF HYBRID LANGUAGE FOPL Mei Hong and Sun Yongqiang 1995,6(7):407-415 [Abstract(4340)]  [View PDF(5124)547.07 K]

THE CHARACTERIZATION FOR REGULAR LANGUAGES Ye Ruifen and Shen Baiying 1995,6(7):416-419 [Abstract(4383)]  [View PDF(5653)276.81 K]

GEOMETRIC METHOD FOR SOLVING TS PROBLEM Zhou Peide 1995,6(7):420-424 [Abstract(4824)]  [View PDF(6522)294.14 K]

A AUTOMATIC THEOREM PROVING SYSTEM BASED ON GENERALIZED RESOLUTION Cheng Xiaochun,Sun Jigui and Liu Xuhua 1995,6(7):425-428 [Abstract(4429)]  [View PDF(6063)288.13 K]

A METHOD OF PARALLEL PROGRAM DESIGN BASED ON TASK GRAPH(Ⅱ)──CHOOSE TOPOLOGICAL STRUCTURE Wu Qiaoquan,Shen Ping and Zhang Defu 1995,6(7):429-434 [Abstract(4233)]  [View PDF(5297)415.85 K]

AN ALGORITHM FOR LAYERING MAP IMAGE BY COLOUR Feng Yucai,Song Enmin,Sun Xiaowei and Liu Hong 1995,6(7):435-439 [Abstract(4602)]  [View PDF(5683)397.08 K]

AN ALGORITHM FOR LAYERING MAP IMAGE BY COLOUR Zhang Ling,Wu Fuchao,Zhang Bo and Han Mei 1995,6(7):440-448 [Abstract(4551)]  [View PDF(5532)519.21 K]