Volume 5, Issue 3 | Journal of Computer Science and Technology

Search all Journal of Computer Science and Technology articles

Volume 5, Issue 3

July 1990

Filter by

Volume:

Sort by

Date published:

New to old Old to new

11 articles in this issue

A type-theoretic approach to program development
Li Wei
Regular Papers Pages: 209 - 224
A deductive database approach for complex objects
Chen Qiming
Regular Papers Pages: 225 - 235
An efficient algorithm for processing multi-relation queries in relational databases
Liu Weiyi
Regular Papers Pages: 236 - 240
Automatic and hierarchical verification for concurrent systems
Zhao Xudong
Feng Yulin
Regular Papers Pages: 241 - 249
A goal-type driven method of solving Horn logic with equality
Hu Yunfa
Regular Papers Pages: 250 - 258
Why SA can beat the exponential explosion in heuristic search
Zhang Bo
Zhang Ling
Regular Papers Pages: 259 - 265
A characterization of achievable patterns of the MN-puzzle problem
Yang Hongqing
Regular Papers Pages: 266 - 274
Detecting and locating fallures in communication networks
Shi Weigeng
R. James Duckworth
Regular Papers Pages: 275 - 288
Macro-dataflow computational model and its simulation
Sun Yudong
Xie Zhiliang
Regular Papers Pages: 289 - 295
A framework for command recovery in user interface
Wang Haiying
Short Papers Pages: 296 - 301
Some hard examples for the resolution method
Yu Xiangdong
Short Papers Pages: 302 - 304