Publish in OALib Journal
ISSN: 2333-9721
APC: Only $99

Paper Submission

Views	Downloads

Relative Articles
论重力归算
引力梯度归算的模拟计算
航空重力测量的数据归算方法
流域水环境库兹涅茨曲线的上下游演递规律及其启示
海洋磁力测量空间归算阈值条件确定及其应用
基于阻抗归算的间谐波源识别及责任划分
利用最小二乘拟合法进行多站地磁日变基值归算
卫片解译图面积量算方法的探讨——以洞庭湖幅土地利用解译图为例
Nonclassical properties of the orthonormalized eigenstates of the operator (^af(^n))k 算符(^af(^n))k正交归一本征态的非经典特性
中药“归经”辨别
略谈递耗资产核算
More...

π-演算中无卫递归的消除

, PP. 321-326

Full-Text Cite this paper Add to My Lib

Abstract:

本文提出消除π－演算中无卫递归的公理，证明了将该公理加入到正则π－演算受卫递归子集上的证明系统后，所得到的证明系统在π－演算全体正则子集上关于互模拟等价的可靠性和完备性.

Contact Us

service@oalib.com

微信:OALib Journal