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(2400)]  [View PDF(2515)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(3118)]  [View PDF(2888)412.65 K]
  • AN APPROXIMATION ALGORITHM ON GRAPH (K,M) OPTIMAL PARTITION PROBLEM
  • Lu Qicheng
  • 1992,3(4):19-23 [Abstract(2934)]  [View PDF(2537)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(2426)]  [View PDF(2710)471.02 K]
  • ONE METHOD OF DEFAULT REASONING AND ITS APPLICATION
  • Chen Shifu,Pan Jingui and Xu Dianxiang
  • 1992,3(4):32-36 [Abstract(2087)]  [View PDF(2663)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(2272)]  [View PDF(2440)478.12 K]
  • ON THE COMBINATION OF OBJECT-ORIENTED AND LOGIC SYSTEMS
  • Zhu Haibin
  • 1992,3(4):45-50 [Abstract(2483)]  [View PDF(2614)412.98 K]
  • THE METHODS OF DATABASE PROGRAM CONVERSION
  • Du Xiaoyong
  • 1992,3(4):51-55 [Abstract(2004)]  [View PDF(2576)371.19 K]
  • 一体化MIS快速开发自动生成器CDBAG-4GL的设计与实现
  • Li Zhaoyuan and Wang Hui
  • 1992,3(4):56-61 [Abstract(2498)]  [View PDF(2955)423.58 K]