库兹涅佐夫、斯蒂芬·利沃维奇 克莱恩星,没有收缩的次指数,以及无限的计算。 (英语) Zbl 07411055号 同胞。È勒克特隆。Mat.Izv公司。 18,第2号,905-922(2021).MSC公司:第03页 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Kuznetsov},Sib。È勒克特隆。Mat.Izv公司。18,编号2,905--922(2021;Zbl 07411055) 全文: DOI程序
亚历山大·谢尔盖维奇 一阶有理Pavelka逻辑的无重复无限解析计算。 (英语) Zbl 1459.03028号 同胞。È勒克特隆。Mat.Izv公司。 17, 1869-1899 (2020). 审核人:Albert Hoogewijs(根特) MSC公司:03B50号 03B52号 07年3月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Gerasimov},西布。È勒克特隆。Mat.Izv公司。1869年至1899年(2020年;Zbl 1459.03028) 全文: DOI程序 arXiv公司
弗拉基米尔·弗拉迪米洛维奇·里巴科夫 由时间状态本身生成的具有可访问性时间关系的时间逻辑。 (英语) Zbl 1437.03081号 同胞。È勒克特隆。Mat.Izv公司。 17, 923-932 (2020).MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},西布。È勒克特隆。Mat.Izv公司。17323-932(2020年;兹比尔1437.03081) 全文: DOI程序
弗拉基米尔·弗拉迪米洛维奇·里巴科夫 将时间代理逻辑分支,通过简化形式的规则解决可满足性问题。 (英语) Zbl 1436.03126号 同胞。È勒克特隆。Mat.Izv公司。 16, 1158-1170 (2019).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},西布。È勒克特隆。Mat.Izv公司。116158-1170(2019年;Zbl 1436.03126) 全文: DOI程序
迈克尔·亚历山德罗维奇(Michael Alexandrovich Moor);弗拉基米尔·弗拉迪米洛维奇·里巴科夫 多值多模态逻辑,可满足性问题。 (英语) 兹比尔1436.03138 同胞。È勒克特隆。Mat.Izv公司。 15, 829-838 (2018).MSC公司:03B45号 03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Moor}和\textit{V.Rybakov},Sib。È勒克特隆。Mat.Izv公司。15829-838(2018年;Zbl 1436.03138) 全文: DOI程序
弗拉基米尔·弗拉迪米洛维奇·里巴科夫 过去丢失世界的时间多值逻辑。 (英语) Zbl 1436.03154号 同胞。È勒克特隆。Mat.Izv公司。 15, 436-449 (2018).MSC公司:03B50号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},西布。È勒克特隆。Mat.Izv公司。15、436--449(2018年;Zbl 1436.03154) 全文: DOI程序
玛格丽塔·弗拉迪米洛夫娜·科罗维纳;奥列格·维克托维奇·库迪诺夫 可计算波兰空间上部分可计算函数的映象。 (英语) Zbl 1423.03155号 同胞。È勒克特隆。Mat.Izv公司。 14, 418-432 (2017).MSC公司:03D78号 03D45号 第三天65 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Korovina}和\textit{O.V.Kudinov},兄弟姐妹。È勒克特隆。Mat.Izv公司。14、418--432(2017;Zbl 1423.03155) 全文: DOI程序