终止性证明的英文

• termination proof

• "终止"英文翻译    stop; end; suspend
• "性"英文翻译    nature; character; dispositi ...
• "证明"英文翻译    prove; testify; bear out
• "终止性实验" 英文翻译 :    cessation experiment
• "存在性证明" 英文翻译 :    existence proof
• "构造性证明" 英文翻译 :    constructive proof
• "回溯性证明" 英文翻译 :    retrojustify
• "矛盾性证明" 英文翻译 :    contradictory evidence
• "欺骗性证明" 英文翻译 :    fraudulent proof
• "欺诈性证明" 英文翻译 :    fraudulent proof
• "相容性证明" 英文翻译 :    consistency proof
• "诈骗性证明" 英文翻译 :    fraudulent proof
• "正确性证明" 英文翻译 :    correctne proof; correctness proof; justification; proof of correctness
• "不可能性证明" 英文翻译 :    impossibility proof
• "非构造性证明" 英文翻译 :    nonconstructive proof
• "证明终止" 英文翻译 :    q.e.d
• "部分正确性证明" 英文翻译 :    partial correctness proof
• "程序正确性证明" 英文翻译 :    mathematical proofs of program correctness; programming correctness proof; proof of correctness; proof of program correctness
• "耐飞行性证明书" 英文翻译 :    airworthiness certificate
• "终止注册证明书" 英文翻译 :    certificate of deletion
• "外地终止注册证明书" 英文翻译 :    foreign certificate of deletion
• "终止" 英文翻译 :    1.(结束) stop; end; suspend 要求终止这种不正常状态 demand an end to this abnormal state of affairs; 终止外交关系 suspend diplomatic relation; 接着喧闹声逐渐消失, 音乐也终止了。 then the din gradually dies down and the music stops.2.(停止) termination; annulment; abrogation 终止合同 terminate a contract; 终止条约通知书 notice of termination of a treaty; notice of denunciation3.[音乐] cadence; 终止符 [音乐] a full stop; a period; terminator; 终止符号 terminal; 终止日期 closing date; 终止信号 termination signal
• "证明" 英文翻译 :    1.(表明 、 断定真实性) prove; testify; bear out 充分证明 fully prove; 雄辩地证明 give eloquent proof of; 事实证明他是对的。 facts proved that he was right. 她脸红证明她内心有愧。 her red face testified to her guilt.2.(证明书或信) certificate; identification; testimonial 医生证明 medical certificate; 出个证明 issue a certificate; 此证明无效。 this certificate is invalid.3.demonstration; evidence; verification; [法律] proof; 证明人 authenticator; certifier; 证明文件 documentary evidence; certificate; testimonial papers; supporting documents; 证明无罪 proof of innocence; 证明信 certificate; 证明有罪 proof of guilt
• "遏止性呼吸" 英文翻译 :    restrained breathing
• "禁止性补贴" 英文翻译 :    prohibited subsidy; prohibitive subsidy

• 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
  基于覆盖集合归纳法的项重写系统弱基终止性证明的机械化论文提出一种关于一般化了的项重写系统弱基终止性，即，在特定领域的项重写系统弱终止性的形式自动证明方法。