Volume 3,Issue 4,1992 Table of Contents
SEMIREGULAR TERM REWRITING SYSTEM AND ITS CONFLUENCELin Kai and Sun Yongqiang1992,3(4):1-11 [Abstract(3614)] [View PDF(3957)575.21 K]THE PROBABILISTIC UNLIMITED REGISTER MACHINE (PURM) AND THE RANDOM FUNCTIONS THAT CAN BE SIMULATED BY PURM PROGRAMSDang Zhe and Zhou Weifang1992,3(4):12-18 [Abstract(4558)] [View PDF(4337)412.65 K]AN APPROXIMATION ALGORITHM ON GRAPH (K,M) OPTIMAL PARTITION PROBLEMLu Qicheng1992,3(4):19-23 [Abstract(3918)] [View PDF(3958)339.27 K]THE AUTOMATIC TRANSFORMATION FROM THE EXAMPLE SPECIFICATION TO THE FORMAL FUNCTIONAL SPECIFICATIONLu Jian and Xu Jiafu1992,3(4):24-31 [Abstract(3680)] [View PDF(4176)471.02 K]ONE METHOD OF DEFAULT REASONING AND ITS APPLICATIONChen Shifu,Pan Jingui and Xu Dianxiang1992,3(4):32-36 [Abstract(3278)] [View PDF(4224)293.89 K]A NEW SOFTWARE PROCESS MODEL BASE ON PROGRAM GENERATIONZhou Shanqiong,Ju Dehua and Liao Suping1992,3(4):37-44 [Abstract(3421)] [View PDF(3926)478.12 K]ON THE COMBINATION OF OBJECT-ORIENTED AND LOGIC SYSTEMSZhu Haibin1992,3(4):45-50 [Abstract(3757)] [View PDF(4032)412.98 K]THE METHODS OF DATABASE PROGRAM CONVERSIONDu Xiaoyong1992,3(4):51-55 [Abstract(3092)] [View PDF(3976)371.19 K]一体化MIS快速开发自动生成器CDBAG-4GL的设计与实现Li Zhaoyuan and Wang Hui1992,3(4):56-61 [Abstract(3752)] [View PDF(4567)423.58 K]