Contents

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

AN INTEGRATED APPROACH TO FLAT-STRUCTURED PROBLEMS Hu Peng,Shi Chunyi and Wang Kehong 1995,6(7):391-398 [Abstract(3280)]  [View PDF(3682)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(3843)]  [View PDF(3770)477.85 K]

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

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

GEOMETRIC METHOD FOR SOLVING TS PROBLEM Zhou Peide 1995,6(7):420-424 [Abstract(4017)]  [View PDF(5038)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(3717)]  [View PDF(4468)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(3584)]  [View PDF(3702)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(3902)]  [View PDF(4195)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(3864)]  [View PDF(3917)519.21 K]