该方法的基础是多种类代数签名（Many Sortedalgebraic Signature）与重写系统(Rewreting System)。论文证明了，该重写系统是中止的，且产生一个法 式（Normal Form）,作者称之为风险分析方程，可以...
基于16个网页-相关网页
多种类代数签名
Multi-class algebraic signatures
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动