递归证明 meaning in Chinese
proof by recursion
Examples
- Strand space including a partial order describing causal structure and a analog recursion method , brought forward the boundary of the attacker ’ s capacity which does not depend on idiographic protocols
串空间方法包括了一个描述因果结构的偏序和一个类递归证明方法,提出了与所分析的具体协议无关的攻击者能力边界,是一种新型有效的形式化方法。