MPI fuer Informatik, D-66123 Saarbruecken, Germany;
机译:具有传递卫兵和相关变体的两变量守卫片段的有限可满足性
机译:保护和两个变量片段的保守扩展
机译:二元受保护片段中的等价闭合
机译:从双可变守卫片段与守卫片段的数量限制的多项式转换
机译:路径功能依赖性和带计数的两个变量保护片段
机译:分离的限制性片段的无细胞转录和翻译定位于噬菌体T5早期基因。
机译:从具有数量限制的双变量保护片段到保护片段的多项式平移
机译:保护操作持续时间的可执行性分析:连续的模型转换方法