Institute of Computer Science,University of Wroclaw,ul. Joliot-Curie 15, 50-383 Wroclaw, Poland;
机译:具有传递卫兵和相关变体的两变量守卫片段的有限可满足性
机译:具有传递守卫的二元守卫碎片的复杂性
机译:通过解析确定受保护的片段
机译:守卫片段与传递闭合的可解密性
机译:路径功能依赖性和带计数的两个变量保护片段
机译:妇女成功了:在墨西哥的登革热预防试验中结果链的模糊传递式封闭
机译:具有时滞的双变量保护碎片的有限可满足性 传递卫兵和相关变种
机译:分段数据库上传递闭包查询的并行计算