Authors: TIAN QJ SHI ZZ

Citation: Qj. Tian et Zz. Shi, MODEL-THEORETICAL FOUNDATION OF ACTION AND PROGRESSION, SCI CHINA E, 40(4), 1997, pp. 430-438

Authors: SHEN ES TIAN QJ

Citation: Es. Shen et Qj. Tian, MONADIC PARTITION LOGICS AND FINITE AUTOMATA, Theoretical computer science, 166(1-2), 1996, pp. 63-81