×

找到15个文档(结果1-15)

无限域上的子模函数和值约束满足问题。 (英语) Zbl 1528.68143号

Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第12条,第22页(2018年)。
PDF格式BibTeX公司 XML格式引用

拉姆齐构造的还原。 (英语) Zbl 1261.03118号

Grohe,Martin(编辑)等,有限组合学中的模型理论方法。AMS-ASL联合特别会议,美国华盛顿特区,2009年1月5日至8日。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-0-8218-4943-9/pbk)。《当代数学》558,489-519(2011)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

出版年份