English translation for "终止性证明"

termination proof

Related Translations:

赔偿终止:  termination of indemnity

完全终止:  perfect cadence

终止参数:  termination parameter

推力终止:  thrust termination

应用终止:  application termination

鉴别终止:  end of identify

双终止:  double terminating

对话终止:  session terminationtermination of a sessiontermination of session

系统终止:  system closure

终止程式:  terminator/initiator

Example Sentences:

1.

Weakly terminating property in a restricted domain of a term rewriting system , one with structural induction , one with cover - set induction , and the third without induction , and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus 基于覆盖集合归纳法的项重写系统弱基终止性证明的机械化论文提出一种关于一般化了的项重写系统弱基终止性，即，在特定领域的项重写系统弱终止性的形式自动证明方法。

Similar Words：

"终止信号单元" English translation, "终止信息" English translation, "终止型净额结算" English translation, "终止行" English translation, "终止性实验" English translation, "终止序列" English translation, "终止一项商业交易" English translation, "终止因子" English translation, "终止引号" English translation, "终止于" English translation