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(2540)]  [View PDF(2578)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(3266)]  [View PDF(2969)412.65 K]
  • AN APPROXIMATION ALGORITHM ON GRAPH (K,M) OPTIMAL PARTITION PROBLEM
  • Lu Qicheng
  • 1992,3(4):19-23 [Abstract(3045)]  [View PDF(2595)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(2549)]  [View PDF(2778)471.02 K]
  • ONE METHOD OF DEFAULT REASONING AND ITS APPLICATION
  • Chen Shifu,Pan Jingui and Xu Dianxiang
  • 1992,3(4):32-36 [Abstract(2200)]  [View PDF(2730)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(2397)]  [View PDF(2514)478.12 K]
  • ON THE COMBINATION OF OBJECT-ORIENTED AND LOGIC SYSTEMS
  • Zhu Haibin
  • 1992,3(4):45-50 [Abstract(2636)]  [View PDF(2686)412.98 K]
  • THE METHODS OF DATABASE PROGRAM CONVERSION
  • Du Xiaoyong
  • 1992,3(4):51-55 [Abstract(2127)]  [View PDF(2637)371.19 K]
  • 一体化MIS快速开发自动生成器CDBAG-4GL的设计与实现
  • Li Zhaoyuan and Wang Hui
  • 1992,3(4):56-61 [Abstract(2651)]  [View PDF(3024)423.58 K]