大卫·M·塞尔纳。 反统一与半环理论。 (英语) 兹比尔1464.68138 西奥。计算。科学。 848, 133-139 (2020).MSC公司:2012年第68季度 2016年60月 PDF格式BibTeX公司 XML格式引用 \文本{D.M.Cerna},Theor。计算。科学。848133-139(2020年;Zbl 1464.68138) 全文: DOI程序
Tour男孩,蒂埃里;瑞希德·埃哈希德 属性图的并行重写。 (英语) Zbl 1464.68137号 西奥。计算。科学。 848, 106-132 (2020).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Boy de la Tour}和\textit{R.Echahed},Theor。计算。科学。848106-132(2020年;Zbl 1464.68137) 全文: DOI程序
戈因纳,丹尼尔;中村,Masaki;Kazuhiro绪方;高基町五指 通过合并推出的终止稳定性和充分完整性。 (英语) 兹比尔1464.68215 西奥。计算。科学。 848, 82-105 (2020).MSC公司:68问题65 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gin}等人,Theor。计算。科学。848、82--105(2020年;Zbl 1464.68215) 全文: DOI程序
米歇尔·齐亚里;迪诺·曼德里奥利;普拉德拉,马泰奥 操作员优先时序逻辑和模型检查。 (英语) 兹比尔1464.68197 西奥。计算。科学。 848, 47-81 (2020).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Chiari}等人,Theor。计算。科学。848、47-81(2020年;Zbl 1464.68197) 全文: DOI程序 链接
坎通纳,多梅尼科;彼得罗·毛格里;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 集合论可判定片段的复杂性评估。二: 涉及成员关系的“小型”语言分类。 (英语) Zbl 1498.03113号 西奥。计算。科学。 848, 28-46 (2020).MSC公司:03E30年 03B25号 03B35型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.Cantone}等人,Theor。计算。科学。84828--46(2020年;Zbl 1498.03113) 全文: DOI程序
维拉州Koponen 条件概率逻辑、提升贝叶斯网络和几乎确定的量词消除。 (英语) Zbl 1483.03023号 西奥。计算。科学。 848, 1-27 (2020). 审核人:吉尔根·兰德斯(慕尼黑) MSC公司:03立方厘米13 03B42号 03B48号 03C10号机组 2011年第68季度 87年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \文本{V.Koponen},Theor。计算。科学。848,1--27(2020年;Zbl 1483.03023) 全文: DOI程序 arXiv公司