Bernays-Schonfinkel-Ramsey fragment; Linear arithmetic constraints; Difference constraints; Combination of theories;
机译:广义约束图的可确定片段的决策过程
机译:有界存在类型的子类型的可判定性和实现约束
机译:博茨瓦纳奥卡万戈三角洲的非洲象(Loxodonta africana)在栖息地使用方面的性别差异:大小真的是决定因素吗?
机译:伯尼斯 - Schonfinkel-Ramsey片段与真实的有界差异约束是可判定的
机译:具有可预测的绑定预测的正式直觉集合论。
机译:表面结合和液相补体-C3片段之间的构象差异。通过cDNA表达进行表位作图。
机译:可以确定在实数上具有有限差分约束的Bernays–Schönfinkel–Ramsey片段