Computer science; Interpolation; Upper bound; Complexity theory; Standards;
机译:具有传递卫兵和相关变体的两变量守卫片段的有限可满足性
机译:保护和两个变量片段的保守扩展
机译:二元受保护片段中的等价闭合
机译:从具有数量限制的两个变量保护片段到保护片段的多项式转换
机译:路径功能依赖性和带计数的两个变量保护片段
机译:对Craig等人的评论:瑞替加滨用于伴或不伴二次泛化的癫痫发作部分发作的成年人的辅助治疗:NICE单一技术评估
机译:从具有数量限制的双变量保护片段到保护片段的多项式平移
机译:没有准内插的逼近阶