Volume 6,Issue 7,1995 Table of Contents

Other Issues:  
  
Contents

  • ON DENOTATIONAL SEMANTICS OF SMALLTALK-80
  • Li Zhoujun and Wang Bingshan
  • 1995,6(7):385-390 [Abstract(2615)]  [View PDF(2376)377.59 K]
  • AN INTEGRATED APPROACH TO FLAT-STRUCTURED PROBLEMS
  • Hu Peng,Shi Chunyi and Wang Kehong
  • 1995,6(7):391-398 [Abstract(2249)]  [View PDF(2375)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(2779)]  [View PDF(2381)477.85 K]
  • EQUATIONAL SEMANTICS OF HYBRID LANGUAGE FOPL
  • Mei Hong and Sun Yongqiang
  • 1995,6(7):407-415 [Abstract(2637)]  [View PDF(2285)547.07 K]
  • THE CHARACTERIZATION FOR REGULAR LANGUAGES
  • Ye Ruifen and Shen Baiying
  • 1995,6(7):416-419 [Abstract(2700)]  [View PDF(2795)276.81 K]
  • GEOMETRIC METHOD FOR SOLVING TS PROBLEM
  • Zhou Peide
  • 1995,6(7):420-424 [Abstract(2920)]  [View PDF(3564)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(2632)]  [View PDF(2946)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(2570)]  [View PDF(2371)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(2891)]  [View PDF(2866)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(2634)]  [View PDF(2372)519.21 K]