1000-9000
1990 Issue 3
A Type-Theoretic Approach to Program Development
Li Wei Beijing University of Aeronautics and Astronautics
Li Wei Beijing University of Aeronautics and Astronautics
..............page:209-224
A Framework for Command Recovery in User Interface
Wang Haiying Institute of Computing Technology;Academia Sinica
Wang Haiying Institute of Computing Technology;Academia Sinica
..............page:296-301
A Goal-Type Driven Method of Solving Horn Logic with Equality
Hu Yunfa Changsha Institute of Technology;Hunan
Hu Yunfa Changsha Institute of Technology;Hunan
..............page:250-258
An Efficient Algorithm for Processing Multi-Relation Queries in Relational Databases
Liu Weiyi Yunnan University
Liu Weiyi Yunnan University
..............page:236-240
Automatic and Hierarchical Verification for Concurrent Systems
Zhao Xudong Feng Yulin University of Science and Technology of China
Zhao Xudong Feng Yulin University of Science and Technology of China
..............page:241-249
Macro-Dataflow Computational Model and Its Simulation
Sun Yudong Xie Zhiliang Shanghai Jiaotong University
Sun Yudong Xie Zhiliang Shanghai Jiaotong University
..............page:289-295
Why SA Can Beat the Exponential Explosion in Heuristic Search
Zhang Bo Tsinghua UniversityZhang Ling Anqing Teacher’s College
Zhang Bo Tsinghua UniversityZhang Ling Anqing Teacher’s College
..............page:259-265
A Deductive Database Approach for Complex Objects
Chen Qiming Tsinghua University;Beijing
Chen Qiming Tsinghua University;Beijing
..............page:225-235
..............page:305
Some Hard Examples for the Resolution Method
Yu Xiangdong Huazhong University of Science and Technology;Wuhan
Yu Xiangdong Huazhong University of Science and Technology;Wuhan
..............page:302-304
A Characterization of Achievable Patterns of the MN-Puzzle Problem
Yang Hongqing Institute of Computing Technology;Academia Sinica
Yang Hongqing Institute of Computing Technology;Academia Sinica
..............page:266-274
Detecting and Locating Failures in Communication Networks
Shi Weigeng R.James Duckworth Department of Electrical Engineering;Worcester Polytechnic Institute;U.S.A.
Shi Weigeng R.James Duckworth Department of Electrical Engineering;Worcester Polytechnic Institute;U.S.A.
..............page:275-288