1000-9000
1995 Issue 3
An Algebraic Characterization of Inductive Soundness in Proof by Consistency
Shao Zhiqing and Song Guoxin
Shao Zhiqing and Song Guoxin
..............page:285-288
A Formal Semantics for DAI Language NUML
Xu Manwu;Lu JianfengZeng Fancong and Dai Jinwn
Xu Manwu;Lu JianfengZeng Fancong and Dai Jinwn
..............page:227-238
S-and T-Invariants in Cyber Net Systems
Yuan Chongyi
Yuan Chongyi
..............page:239-252
Nonuniform Lowness and Strong Nonuniform Lowness
Li Hongzhou and Li Guanying
Li Hongzhou and Li Guanying
..............page:253-258+529
..............page:281-284
Automatic Construction of Finite Algebras
Zhang Jian
Zhang Jian
..............page:206-213
..............page:193-205
..............page:267-273
Denotational Semantics of a Simple Model of Eiffel
Qu Yuzhong;Wang Zhijian and Xu Jiafu
Qu Yuzhong;Wang Zhijian and Xu Jiafu
..............page:214-226
Putting Consistent Theories Together in Institutions
Ying Mingsheng
Ying Mingsheng
..............page:260-266
A Three-Stage Knowledge Acquisition Method
Cao Cungen Liu Wei
Cao Cungen Liu Wei
..............page:274-280