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

Search all Journal of Computer Science and Technology articles

Volume 5, Issue 1

January 1990

Filter by

Volume:

Sort by

Date published:

New to old Old to new

10 articles in this issue

Motion planning for robots with topological dimension reduction method
Zhang Bo
Zhang Tian
Zhang Ling
Regular Papers Pages: 1 - 16
Denote CSP with temporal formulas
Zhou Chaochen
Liu Xinxin
Regular Papers Pages: 17 - 23
Aliasing errors in Parallel Signature Analyzers
Min Yinghua
Yashwant K. Malaiya
Jin Boping
Regular Papers Pages: 24 - 40
Algorithms for the determination of cutsets in a hypergraph
Yao Rong
Kang Tai
Chen Tinghuai
Regular Papers Pages: 41 - 46
A message-based distributed kernel for a full heterogeneous environment
Xue Xing
Sun Zhongxiu
Xu Xihao
Regular Papers Pages: 47 - 56
TAUS: A file-based software understanding tool
Xianglín Fei
Wang Chengzao
Zhao Changmiao
Regular Papers Pages: 57 - 63
Formal description and verification of a transport protocol for local networks
Li Layuan
Regular Papers Pages: 64 - 70
A parallel algorithm for finding roots of a complex polynomial
Cheng Jinsong
Regular Papers Pages: 71 - 81
Two congruent semantics for Prolog with CUT
Zhu Mingyuan
Regular Papers Pages: 82 - 91
A fuzzy proof theory
Liu Dongbo
Li Deyi
Regular Papers Pages: 92 - 96