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(2473)]  [View PDF(2278)377.59 K]
  • AN INTEGRATED APPROACH TO FLAT-STRUCTURED PROBLEMS
  • Hu Peng,Shi Chunyi and Wang Kehong
  • 1995,6(7):391-398 [Abstract(2112)]  [View PDF(2307)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(2654)]  [View PDF(2328)477.85 K]
  • EQUATIONAL SEMANTICS OF HYBRID LANGUAGE FOPL
  • Mei Hong and Sun Yongqiang
  • 1995,6(7):407-415 [Abstract(2505)]  [View PDF(2205)547.07 K]
  • THE CHARACTERIZATION FOR REGULAR LANGUAGES
  • Ye Ruifen and Shen Baiying
  • 1995,6(7):416-419 [Abstract(2586)]  [View PDF(2718)276.81 K]
  • GEOMETRIC METHOD FOR SOLVING TS PROBLEM
  • Zhou Peide
  • 1995,6(7):420-424 [Abstract(2789)]  [View PDF(3489)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(2467)]  [View PDF(2831)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(2437)]  [View PDF(2312)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(2757)]  [View PDF(2803)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(2417)]  [View PDF(2295)519.21 K]