Dept. of Bioinformatic Engineering, Graduate School of Information Science and Technology, Osaka University. Toyonaka, Osaka 560-8531, JAPAN;
机译:认证的无量词一阶知识逻辑
机译:无量词的依赖逻辑公式的相干性和计算复杂性
机译:无量词的依赖逻辑公式的相干性和计算复杂性
机译:使用布尔公式的替换,有效检查量化的一阶逻辑的数量检查
机译:结合一阶理论检查无量词公式的有效性。
机译:羚羊:用于分支时间布尔GRN分析的混合逻辑模型检查器
机译:EVC:具有未解释函数和内存,利用正等式和保守变换的等式逻辑的有效性检查器
机译:关于布尔公式的理论:替换,替换和素数公式