@收款{zbMATH07533337，作者={博迪尔斯基、曼努埃尔和马米诺、马塞洛和维奥拉、卡特琳娜}，Title={无限域上的子模函数和有值约束满足问题}，BookTitle={第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼}，国际标准图书编号={978-3-95977-088-0}，Pages＝{22}，注={Id/No 12}，年份={2018年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.CSL.2018.12}，关键词={68Q25,03C40,03C98，90C27}，zbMATH={7533337}，Zbl={1528.68143}}