...
机译:归纳证明搜索模
LORIA and Rectorat Nancy-Metz, Nancy-Metz, France;
rnINRIA, Bordeaux, France;
rnINRIA, Bordeaux, France;
LORIA and University of Nancy, Nancy, France;
deduction modulo; noetherian induction; equational rewriting; equational narrowing;
机译:(CO)可达性逻辑中的组成证据的电感证明系统
机译:基于可取模理论的反例引导归纳优化
机译:关于简单复数的归纳维数
机译:方程和归纳定理的证明搜索和证明检查
机译:证明产生可满足性的模理论。
机译:感应加热杀死有助于噬菌斑的细胞:概念验证
机译:对等式和归纳定理的证明搜索和证明检查