机译:各种逻辑的可确定片段
IBM Haifa Research Lab, Haifa University Campus, Haifa, 31905, Israel;
The Blavatnik School of Computer Science, Tel-Aviv University, Israel;
The Blavatnik School of Computer Science, Tel-Aviv University, Israel;
decidable logic; many-sorted logic; the classical decision problem; verification; transitive closure;
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:艾伦关于理性的关系的模态逻辑片段的可判定性和复杂性
机译:二阶逻辑的可确定片段及其在合成中的应用
机译:多分类逻辑的可判定片段
机译:各种各样的自由逻辑。
机译:校正:决定不决定:顺序选择中隐藏行为的计算和神经证据
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:过程逻辑的可判定性和表达性