Volume 3,Issue 4,1992 Table of Contents

Other Issues:  
  
Contents

  • SEMIREGULAR TERM REWRITING SYSTEM AND ITS CONFLUENCE
  • Lin Kai and Sun Yongqiang
  • 1992,3(4):1-11 [Abstract(3710)]  [View PDF(4688)575.21 K]
  • THE PROBABILISTIC UNLIMITED REGISTER MACHINE (PURM) AND THE RANDOM FUNCTIONS THAT CAN BE SIMULATED BY PURM PROGRAMS
  • Dang Zhe and Zhou Weifang
  • 1992,3(4):12-18 [Abstract(4684)]  [View PDF(5013)412.65 K]
  • AN APPROXIMATION ALGORITHM ON GRAPH (K,M) OPTIMAL PARTITION PROBLEM
  • Lu Qicheng
  • 1992,3(4):19-23 [Abstract(4047)]  [View PDF(4670)339.27 K]
  • THE AUTOMATIC TRANSFORMATION FROM THE EXAMPLE SPECIFICATION TO THE FORMAL FUNCTIONAL SPECIFICATION
  • Lu Jian and Xu Jiafu
  • 1992,3(4):24-31 [Abstract(3793)]  [View PDF(4881)471.02 K]
  • ONE METHOD OF DEFAULT REASONING AND ITS APPLICATION
  • Chen Shifu,Pan Jingui and Xu Dianxiang
  • 1992,3(4):32-36 [Abstract(3385)]  [View PDF(4979)293.89 K]
  • A NEW SOFTWARE PROCESS MODEL BASE ON PROGRAM GENERATION
  • Zhou Shanqiong,Ju Dehua and Liao Suping
  • 1992,3(4):37-44 [Abstract(3517)]  [View PDF(4610)478.12 K]
  • ON THE COMBINATION OF OBJECT-ORIENTED AND LOGIC SYSTEMS
  • Zhu Haibin
  • 1992,3(4):45-50 [Abstract(3819)]  [View PDF(4735)412.98 K]
  • THE METHODS OF DATABASE PROGRAM CONVERSION
  • Du Xiaoyong
  • 1992,3(4):51-55 [Abstract(3168)]  [View PDF(4649)371.19 K]
  • 一体化MIS快速开发自动生成器CDBAG-4GL的设计与实现
  • Li Zhaoyuan and Wang Hui
  • 1992,3(4):56-61 [Abstract(3848)]  [View PDF(5259)423.58 K]