1. Motion planning for robots with topological dimension reduction method

   • Zhang Bo
   • Zhang Tian
   • Zhang Ling

   Regular Papers Pages: 1 - 16

2. Denote CSP with temporal formulas

   • Zhou Chaochen
   • Liu Xinxin

   Regular Papers Pages: 17 - 23

3. Aliasing errors in Parallel Signature Analyzers

   • Min Yinghua
   • Yashwant K. Malaiya
   • Jin Boping

   Regular Papers Pages: 24 - 40

4. Algorithms for the determination of cutsets in a hypergraph

   • Yao Rong
   • Kang Tai
   • Chen Tinghuai

   Regular Papers Pages: 41 - 46

5. A message-based distributed kernel for a full heterogeneous environment

   • Xue Xing
   • Sun Zhongxiu
   • Xu Xihao

   Regular Papers Pages: 47 - 56

6. TAUS: A file-based software understanding tool

   • Xianglín Fei
   • Wang Chengzao
   • Zhao Changmiao

   Regular Papers Pages: 57 - 63

7. Formal description and verification of a transport protocol for local networks

   • Li Layuan

   Regular Papers Pages: 64 - 70

8. A parallel algorithm for finding roots of a complex polynomial

   • Cheng Jinsong

   Regular Papers Pages: 71 - 81

9. Two congruent semantics for Prolog with CUT

   • Zhu Mingyuan

   Regular Papers Pages: 82 - 91

10. A fuzzy proof theory

    • Liu Dongbo
    • Li Deyi

    Regular Papers Pages: 92 - 96