Contents

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

SOME EXPLORATION ABOUT INTRODUCING A NEW RELATION IN RESEARCH OF DEDUCTIVE DATABASE SYSTEM Xu Jiepan 1994,5(12):17-23 [Abstract(4584)]  [View PDF(4949)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(5470)]  [View PDF(5698)456.62 K]

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

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

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

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