不动点计算相关论文
随着语义网研究的不断的成熟，许多机构和组织开发了用于知识共享的本体来描述网络资源和信息。由于本体的设计者观点存在着差异，导致......
基于一般逻辑程序停机性刻画的动态方法,研究了解形式不动点不停机的一种动态刻画方法,给出了安全协议Horn逻辑扩展模型解形式不动......
