曼纽尔·博迪尔斯基;马塞洛·马米诺;维奥拉、卡特琳娜 无限域上的子模函数和值约束满足问题。 (英语) Zbl 1528.68143号 Ghica,Dan R.(ed.)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4日至8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第12条,第22页(2018年)。MSC公司:第68季度25 03C40号 03C98号 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,LIPIcs——莱布尼茨国际程序。通知。119,第12条,22 p.(2018;Zbl 1528.68143) 全文: 内政部 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公司