We use cookies to improve your experience with our site.

On Local StratifiabUity of Logic Programs and Databases
Shen Yidong, Tong Fu, Cheng Daijie
1993, 8(2): 3-11.
Abstract
A Fixpoint Semantics for Stratified Databases
Shen Yidong
1993, 8(2): 12-21.
Abstract
Inductive Learning
Wu Xindong
1993, 8(2): 22-36.
Abstract
Validating Inductive Hypotheses by Mode Inference
Wang Zhijian
1993, 8(2): 37-41.
Abstract
Design Rationale for a Wide Spectrum Specification Language FGSPEC
Lu Jian, Xu Jiafu
1993, 8(2): 42-50.
Abstract
Two New Strategies for Developing Loop Invariants and Their Applications
Xue Jinyun
1993, 8(2): 51-58.
Abstract
A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs
Shao Zhiqing
1993, 8(2): 59-65.
Abstract
Nonterminating Rewritings with Head Boundedness
Chen Yiyun
1993, 8(2): 66-75.
Abstract
OOMMS:A Module Management System Based on an Object-Oriented Model
Pong Man-Chi, Zhang Yongguang, Xu Hong, Ding Jie
1993, 8(2): 76-85.
Abstract
Deductive Fault Simulation Algorithm Based on Fault Collapsing
Gong Yunzhan, Wei Daozheng
1993, 8(2): 86-91.
Abstract
A Knowledge-Based Specification Technique for Protocol Development
Zhang Yaoxue, Shi Meilin, Norio Shiratori
1993, 8(2): 92-96.
Abstract