We use cookies to improve your experience with our site.
Advanced Search

A Type-Theoretic Approach to Program Development
Li Wei
1990, 5(3): 209-224.
Abstract
A Deductive Database Approach for Complex Objects
Chen Qiming
1990, 5(3): 225-235.
Abstract
An Efficient Algorithm for Processing Multi-Relation Queries in Relational Databases
Liu Weiyi
1990, 5(3): 236-240.
Abstract
Automatic and Hierarchical Verification for Concurrent Systems
Zhao Xudong, Feng Yulin
1990, 5(3): 241-249.
Abstract
A Goal-Type Driven Method of Solving Horn Logic with Equality
Hu Yunfa
1990, 5(3): 250-258.
Abstract
Why SA Can Beat the Exponential Explosion in Heuristic Search
Zhang Bo, Zhang Ling
1990, 5(3): 259-265.
Abstract
A Characterization of Achievable Patterns of the MN-Puzzle Problem
Yang Hongqing
1990, 5(3): 266-274.
Abstract
Detecting and Locating Failures in Communication Networks
Shi Weigeng
1990, 5(3): 275-288.
Abstract
Macro-Dataflow Computational Model and Its Simulation
Sun Yudong, Xie Zhiliang
1990, 5(3): 289-295.
Abstract
A Framework for Command Recovery in User Interface
Wang Haiying
1990, 5(3): 296-301.
Abstract
Some Hard Examples for the Resolution Method
Yu Xiangdong
1990, 5(3): 302-304.
Abstract