曼纽尔·博迪尔斯基;迈克尔·平斯克;安德拉斯庞格拉茨 投影克隆同态。 (英语) Zbl 1529.03192号 J.塞姆。日志。 86,第1号,148-161(2021).MSC公司:03C05号机组 03C35号 03C40号 08A70号 08A35型 08A30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,J.Symb。日志。86,编号1,148--161(2021;Zbl 1529.03192) 全文: 内政部 arXiv公司 链接
曼纽尔·博迪尔斯基;伯塔兰·博多 轨道增长较小的置换群。 (英语) 兹比尔1523.03012 J.群论 24,第4期,643-709(2021). 审核人:恩里科·贾巴拉(威尼斯) MSC公司:03C60型 03C35号 03C40号 20B07型 20B27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{B.Bodor},J.群论24,No.4,643--709(2021;Zbl 1523.03012) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;伯塔兰·博多 基于拉姆齐理论的空间推理中的复杂性二分法。 arXiv:2008.10261号 预印本,arXiv:2008.10261[math.LO](2020)。MSC公司:03C10号机组 03C05号机组 03C98号 03C40号 03C35号 BibTeX公司 引用 \textit{M.Bodersky}和\textit{B.Bodor},“基于拉姆齐理论的空间推理中的复杂性二分法”,预印本,arXiv:2008.10261[math.LO](2020) 全文: arXiv公司 OA许可证
曼纽尔·博迪尔斯基;马塞洛·马米诺;Caterina维奥拉 无限域上的子模函数和值约束满足问题。 (英语) Zbl 1528.68143号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第12条,第22页(2018年)。MSC公司:65年第68季度 03C40号 03C98号 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,LIPIcs——莱布尼茨国际程序。通知。119,第12条,22 p.(2018;Zbl 1528.68143) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;迈克尔·平斯克;安德拉斯庞格拉茨 重建克隆的拓扑。 (英语) Zbl 1377.03021号 事务处理。美国数学。Soc公司。 369,编号5,3707-3740(2017). 审核人:亚历山大·卡兹达(克洛斯特内堡) MSC公司:03C05号机组 03C40号 08A35型 08A40号 20B27型 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,翻译。美国数学。Soc.369,编号5,3707-3740(2017;兹bl 1377.03021) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;杜加尔德·麦克弗森 结构的约化和最大闭置换群。 (英语) Zbl 1372.03060号 J.塞姆。日志。 81,第3期,1087-1114(2016). 审核人:Beibut Kulpeshov(阿拉木图) MSC公司:03C35号 03C40号 03C60型 03C10号机组 20B35码 20B27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{D.Macpherson},J.Symb。日志。81,第3号,1087--1114(2016;Zbl 1372.03060) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;维克多·达尔茂;巴纳比·马丁;安托万·莫特特;迈克尔·平斯克 距离约束满足问题。 (英语) Zbl 1336.68116号 Inf.计算。 247, 87-105 (2016).MSC公司:65年第68季度 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,《Inf.Compute》。247、87--105(2016;Zbl 1336.68116) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;迈克尔·平斯克;安德拉斯庞格拉茨 随机序图的42个约简。 (英语) Zbl 1382.03057号 程序。伦敦。数学。索克(3) 111,第3期,591-632(2015).MSC公司:03C40号 05元55分 03C15号 20B27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,Proc。伦敦。数学。Soc.(3)111,No.3,591--632(2015;Zbl 1382.03057) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;迈克尔·平斯克 拓扑Birkhoff。 (英语) Zbl 1375.03032号 事务处理。美国数学。Soc公司。 367,第4期,2527-2549(2015).MSC公司:03C05号机组 03C40号 08年3月35日 08A30型 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{M.Pinsker},翻译。美国数学。Soc.367,No.4,2527--2549(2015;Zbl 1375.03032) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;迈克尔·平斯克;托多尔·赞科夫 可定义性的决定。 (英语) Zbl 1327.03008号 J.塞姆。日志。 78,第4期,1036-1054(2013). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03B25号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,J.Symb。日志。78,编号4,1036--1054(2013;Zbl 1327.03008) 全文: 内政部 arXiv公司 欧几里得
曼纽尔·博迪尔斯基;马丁·希尔斯;巴纳比·马丁 关于约束满足的泛代数方法的范围。 (英语) Zbl 1308.68062号 日志。方法计算。科学。 8,第3号,第13号论文,30页(2012年).MSC公司:65年第68季度 03C07号机组 08A70号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,日志。方法计算。科学。8,第3号,第13号论文,30页(2012;Zbl 1308.68062) 全文: 内政部
曼纽尔·博迪尔斯基;彼得·琼森;冯·奥尔岑,蒂莫 霍恩与完全一阶:代数约束满足中的复杂性二分法。 (英语) Zbl 1283.68160号 J.日志。计算。 22,第3期,643-660(2012).MSC公司:65年第68季度 08A70号 2015年第68季度 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,J.Log。计算。22,编号3,643-660(2012年;兹bl 1283.68160) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;迈克尔·平斯克 拉姆齐构造的还原。 (英语) Zbl 1261.03118号 Grohe,Martin(编辑)等,有限组合学中的模型理论方法。AMS-ASL联合特别会议,美国华盛顿特区,2009年1月5日至8日。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-0-8218-4943-9/pbk)。《当代数学》558,489-519(2011)。MSC公司:03C40号 08A35型 05元55分 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}和\textit{M.Pinsker},康特姆。数学。558489-519(2011年;Zbl 1261.03118) 全文: arXiv公司
曼纽尔·博迪尔斯基;陈,胡比;迈克尔·平斯克 等式减少到原始的正互定义。 (英语) Zbl 1408.03021号 J.塞姆。日志。 75,第4期,1249-1292(2010).MSC公司:03C40号 08A40号 08A70号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,J.Symb。日志。75,第4号,1249--1292(2010;Zbl 1408.03021) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;迈克尔·平斯克 随机图的所有约简都是模型完备的。 arXiv:0903.2553 预打印,arXiv:0903.2553[math.LO](2009)。MSC公司:03C10号机组 05C80号 08A35型 05元55分 03C40号 BibTeX公司 引用 \textit{M.Bodirsky}和\textit{M.Pinsker},“随机图的所有约简都是模型完备的”,预打印,arXiv:0903.2553[math.LO](2009) 全文: arXiv公司 OA许可证