Contents

A TEMPORAL LOGIC LANGUAGE ORIENTED TOWARD SOFTWARE ENGINEERING Tang Zhisong and Zhao Chen 1994,5(12):1-16 [Abstract(4406)]  [View PDF(4805)861.02 K]

SOME EXPLORATION ABOUT INTRODUCING A NEW RELATION IN RESEARCH OF DEDUCTIVE DATABASE SYSTEM Xu Jiepan 1994,5(12):17-23 [Abstract(3884)]  [View PDF(4097)165.28 K]

USE OF RANK OF INCIDENCE MATRIX FOR JUDGEMENT FAIRNESS OF PETRI NETS Wang Peiliang and Jiang Changjun 1994,5(12):24-29 [Abstract(4503)]  [View PDF(4671)456.62 K]

THE LOWEST DEGREE OF G1 INTERPOLATION OVER 3D TRIANGULATION Jiang Shoushan 1994,5(12):30-37 [Abstract(3915)]  [View PDF(4411)272.30 K]

ON THE LOWER BOUND FOR CONVEX HULL PROBLEM Wang Xiaodong 1994,5(12):38-43 [Abstract(3686)]  [View PDF(4328)97.68 K]

HELI: A DEEP-SHALLOW INFERENTIAL MODEL Cao Cungen 1994,5(12):44-50 [Abstract(3695)]  [View PDF(4411)408.59 K]

CONCURRENCY CONTROL IN ADA-DDBMS Chen Donghui and Wei Zichu 1994,5(12):51-56 [Abstract(4009)]  [View PDF(4247)97.61 K]