鲁门·迪米特洛夫;瓦伦蒂娜·哈里扎诺夫;安德烈·莫罗佐夫;保罗·沙弗;亚历山德拉·A·索斯科娃。;斯特凡·瓦特夫。 关于线性顺序的内聚力。 (英语) Zbl 07735942号 J.塞姆。日志。 88,第3期,947-1004(2023).MSC公司:03C57号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrov}等人,J.Symb。日志。88,编号3,947--1004(2023;Zbl 07735942) 全文: DOI程序 arXiv公司 OA许可证
R.D.迪米特洛夫。;V·哈里扎诺夫。;莫罗佐夫,A.S。 子结构格的图灵度和自同构群。 (英语。俄文原件) Zbl 1484.03076号 代数逻辑 59,第1号,18-32(2020年); 《代数逻辑》59,第1期,第27-47页(2020年)的译文。MSC公司:2008年3月28日 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Dimitrov}等人,《代数逻辑》59,第1期,18-32(2020;Zbl 1484.03076);《代数逻辑学》第59卷第1期、第27卷第47页的译文(2020年) 全文: DOI程序 arXiv公司
迪米特洛夫,鲁门;瓦伦蒂娜·哈里扎诺夫;安德烈·莫罗佐夫;保罗·沙弗;亚历山大·索斯科娃;斯特凡·瓦特夫 线性命令的内聚力。 (英语) Zbl 1434.03095号 Manea,Florin(编辑)等人,《具有远见和工业的计算》。2019年7月15日至19日在英国达勒姆举行的第十五届欧洲可计算性会议(CiE 2019)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11558, 168-180 (2019).MSC公司:03C57号 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrov}等人,Lect。注释计算。科学。11558、168-180(2019年;Zbl 1434.03095) 全文: DOI程序 arXiv公司
鲁门·迪米特洛夫;瓦伦蒂娜·哈里扎诺夫;安德烈·莫罗佐夫 可计算代数中向量空间子结构格的自同构群。 (英语) Zbl 1477.03164号 贝克曼,阿诺德(编辑)等人,《追求宇宙》。第十二届欧洲可计算性会议,2016年6月27日至7月1日,法国巴黎,CiE 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9709, 251-260 (2016).MSC公司:2008年3月28日 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrov}等人,Lect。注释计算。科学。9709251--260(2016年;Zbl 1477.03164) 全文: DOI程序
鲁门·D·迪米特洛夫。;瓦伦蒂娜·S·哈里扎诺夫。;安德烈·莫罗佐夫。 可计算刚性可计算向量空间中的依赖关系。 (英语) Zbl 1076.03029号 Ann.纯粹应用。逻辑 132,第1期,97-108(2005). 审核人:马吕斯·齐曼德(汤森) MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Dimitrov}等人,Ann.纯应用。逻辑132,No.1,97--108(2005;Zbl 1076.03029) 全文: DOI程序