We use cookies to improve your experience with our site.

An Analytical Delay Model
MIN Yinghua, LI Zhongcheng
1999, 14(2): 97-115.
Abstract
On Dependability of Computing Systems
XU Shiyi
1999, 14(2): 116-128.
Abstract
A Syntactic Proof of the Conservativity ofλ_ω overλ_2
SONG Fangmin, QIAN Yuechen
1999, 14(2): 129-134.
Abstract
Phase Semantics for a Pure NoncommutativeLinear Propositional Logic
YING Mingsheng
1999, 14(2): 135-139.
Abstract
Characterizations and Algorithms of Extensionsfor CADL and QDL
ZHANG Mingyi, ZHANG Ying
1999, 14(2): 140-145.
Abstract
Deciding Quasi-Reducibility Using Witnessed Test Sets
SHAO Zhiqing, SUN Yongqiang, SONG Guoxin, YU Huiqun
1999, 14(2): 146-152.
Abstract
An Efficient Parallel Graph Edge Matching Algorithmand Its Applications
MA Jun, MA Shaohan
1999, 14(2): 153-158.
Abstract
A General Scheme for Formalizing Defaults Usingthe Predicate ab(I,S)
SHEN Yidong
1999, 14(2): 159-164.
Abstract
Universal Abstract Consistency Class and Universal Refutation
WANG Bingshan, LI Zhoujun, CHEN Huowang
1999, 14(2): 165-172.
Abstract
Decidability of Mean Value Calculus
LI Xiaoshan
1999, 14(2): 173-180.
Abstract
The Twisted-Cube Connected Networks
WANG Deqiang, ZHAO Lianchang
1999, 14(2): 181-187.
Abstract
Multimedia Data Modeling Based on TemporalLogic and XYZ System
MA Huadong, LIU Shenquan
1999, 14(2): 188-193.
Abstract