We use cookies to improve your experience with our site.
Advanced Search

A Logical Framework for Knowledge Base Maintenance
Li wei
1995, 10(3): 193-205.
Abstract
Automatic Construction of Finite Algebras
Zhang Jian
1995, 10(3): 206-213.
Abstract
Denotational Semantics of a Simple Model of Eiffel
Qu Yuzhong, Wang Zhijian, Xu Jiafu
1995, 10(3): 214-226.
Abstract
A Formal Semantics for DAI Language NUML
Xu Manwu, Lu Jianfeng, Zeng Fancong, Dai Jinwn
1995, 10(3): 227-238.
Abstract
S-and T-Invariants in Cyber Net Systems
Yuan Chongyi
1995, 10(3): 239-252.
Abstract
Nonuniform Lowness and Strong Nonuniform Lowness
Li Hongzhou, Li Guanying
1995, 10(3): 253-258.
Abstract
Putting Consistent Theories Together in Institutions
Ying Mingsheng
1995, 10(3): 260-266.
Abstract
Institutions of Variable Truth Values:An Approach in the Ordered Style
Ying Mingsheng
1995, 10(3): 267-273.
Abstract
A Three-Stage Knowledge Acquisition Method
Cao Cungen, Liu Wei
1995, 10(3): 274-280.
Abstract
Head Boundedness of Nonterminating Rewritings
Chen Yiyun
1995, 10(3): 281-284.
Abstract
An Algebraic Characterization of Inductive Soundness in Proof by Consistency
Shao Zhiqing, Song Guoxin
1995, 10(3): 285-288.
Abstract