Contents

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

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

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

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

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

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