米哈伊尔·尼古拉埃维奇·里巴科夫 二元谓词，传递闭包，两三个变量：我们要玩多米诺骨牌吗？ （俄语。英文摘要） Zbl 07740648号 日志。伊萨德。 29，第1期，114-146（2023年）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Rybakov}，日志。伊斯斯莱德。29，第1号，114--146（2023；Zbl 07740648） 全文： 内政部
里巴科夫，M。 具有少量生成器的模态代数和Heyting代数中单词问题的计算复杂性。 （英语。俄文原件） Zbl 07644547号 俄罗斯数学。 66，编号5，33-48（2022）; Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号5，42-60（2022）。MSC公司：03年月日 第68季度 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}，俄罗斯数学。66，编号5，33-48（2022；Zbl 07644547）；Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号5，42-60（2022） 全文： 内政部
米哈伊尔·里巴科夫;德米特里·什卡托夫 命题时间逻辑和计算模态逻辑的有限变量片段的复杂性。 （英语） Zbl 07547827号 西奥。计算。科学。 925, 45-60 (2022).MSC公司：03B70号 03B44号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Rybakov｝和\textit｛D.Shkatov｝，Theor。计算。科学。925，45-60（2022；Zbl 07547827） 全文： 内政部
米哈伊尔·里巴科夫;德米特里·什卡托夫 具有两个变量和一个单体谓词字母的QLTL和QCTL的不可判定性。 （英语） Zbl 07642566号 日志。伊萨德。 27，第2期，93-120（2021）.MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov}，Log。伊斯斯莱德。27，编号2，93-120（2021；Zbl 07642566） 全文： 内政部