米哈伊尔·尼古拉埃维奇·里巴科夫 二元谓词，传递闭包，两三个变量：我们要玩多米诺骨牌吗？ （俄语。英文摘要） 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季度xx 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}，俄罗斯数学。66，编号5，33-48（2022；Zbl 07644547）；Izv的翻译。维什。乌切布。扎韦德。，材料2022，编号5，42-60（2022） 全文： 内政部
米哈伊尔·里巴科夫;德米特里·什卡托夫 具有两个变量和一个单体谓词字母的QLTL和QCTL的不可判定性。 （英语） Zbl 07642566号 日志。伊斯斯莱德。 27，第2期，93-120（2021）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov}，Log。伊斯斯莱德。27，编号2，93-120（2021；Zbl 07642566） 全文： 内政部
拉赫利·贾拉利 证明子结构逻辑的复杂性。 （英语） Zbl 1491.03078号 Ann.纯粹应用。逻辑 172，第7号，文章ID 102972，31 p.（2021）. 审核人：Ariel Germanán Fernández（布宜诺斯艾利斯） MSC公司：20层03 03B47号 03B20型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{R.Jalali}，Ann.纯粹应用。逻辑172，第7号，文章ID 102972，31页（2021；Zbl 1491.03078） 全文： 内政部 arXiv公司 OA许可证
马尔科·马吉利乌斯;马丁·蒙德亨克;拉斐拉·帕伦塔 具有析取的原始逻辑的复杂性。 （英语） Zbl 1327.68120号 信息处理。莱特。 115，第5期，536-542（2015）.MSC公司：2017年第68季度 03B20型 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Magirius}等人，《信息处理》。莱特。115，第5号，536--542（2015；Zbl 1327.68120） 全文： 内政部
马丁·蒙德亨克;费利克斯·魏 直觉逻辑的（mathsf{AC}^{1}）完全模型检查问题。 （英语） Zbl 1522.68336号 计算。复杂性 23，第4期，637-669（2014）.MSC公司：60年第68季度 03B20型 06D20日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mundhenk}和\textit{F.Wei}，计算。复杂性23，编号4，637--669（2014；Zbl 1522.68336） 全文： 内政部
马丁·蒙德亨克;费利克斯·韦 直觉逻辑及其模态伙伴的模型检查的复杂性。 （英语） Zbl 1287.68110号 库切拉，安东宁（编辑）等人，《可达性问题》。2010年8月28日至29日，第四届国际研讨会，RP 2010，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15348-8/pbk）。计算机科学课堂讲稿6227146-160（2010）。MSC公司：60年第68季度 03B20型 03B45号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mundhenk}和\textit{F.Weiß}，Lect。注释计算。科学。6227146-160（2010年；Zbl 1287.68110） 全文： 内政部