盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型的礼貌组合。 （英语） Zbl 07606342号 J.汽车。推理 66，编号3，331-355（2022）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，J.Autom。推理66，No.3，331--355（2022；Zbl 07606342） 全文： 内政部 arXiv公司 链接
盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型理论的礼貌。 （英语） Zbl 07614516号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 238-255 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，Lect。注释计算。科学。12166，238--255（2020；Zbl 07614516） 全文： 内政部
塞尔达尔·埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森 计算子形式收敛理论方程扩展的知识。 （英语） Zbl 1495.68113号 数学。结构。计算。科学。 30，第6号，683-709（2020）.MSC公司：2012年第68季度 68平方米25 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，《数学》。结构。计算。科学。30，第6号，683--709（2020；Zbl 1495.68113） 全文： 内政部
Paula Chocron;帕斯卡·方丹;克里斯托夫·林盖森 具有桥接功能的理论的礼貌和组合方法。 （英语） Zbl 1468.68143号 J.汽车。推理 64，第1期，97-134（2020）.MSC公司：68兰特 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Chocron}等人，J.Autom。推理64，No.1，97--134（2020；Zbl 1468.68143） 全文： 内政部 哈尔
Paula Chocron;帕斯卡·方丹;克里斯托夫·林盖森 将数据结构与桥接理论相结合的重写方法。 （英语） Zbl 1471.68107号 Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，Wrocław，波兰，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 275-290 (2015).MSC公司：2012年第68季度 68第05页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Chocron}等人，Lect。注释计算。科学。9322275--290（2015；Zbl 1471.68107） 全文： 内政部 哈尔
Paula Chocron;帕斯卡·方丹;克里斯托夫·林盖森 一种礼貌的非分离组合方法：重温具有桥接功能的理论。 （英语） Zbl 1465.68303号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 419-433 (2015).MSC公司：68V20型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Chocron}等人，Lect。注释计算。科学。9195、419--433（2015年；Zbl 1465.68303） 全文： 内政部 哈尔
克里斯托夫·林盖森;瓦莱里奥·塞尼 叠加模计数器运算的模终止和可组合性。 （英语） Zbl 1348.68223号 Tinelli，Cesare（编辑）等人，《联合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。《人工智能课堂讲稿》，211-226（2011）。MSC公司：68吨15 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.Ringeissen}和\textit{V.Senni}，莱克特。注释计算。科学。6989211-226（2011；Zbl 1348.68223） 全文： 内政部
克里斯托弗·林奇;西尔维奥·兰伊斯;克里斯托夫·林盖森;德坎·特兰 自动判定和组合。 （英语） Zbl 1216.68163号 Inf.计算。 209，第7期，1026-1047（2011）.MSC公司：第68季度第60季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}等人，《信息计算》。209，第7号，1026--1047（2011；Zbl 1216.68163） 全文： 内政部
德坎·特兰;克里斯托夫·林盖森;西尔维奥·兰伊斯;赫莱内·基什内尔 凸理论的组合：模块性、演绎完备性和解释。 （英语） Zbl 1192.68190号 J.塞姆。计算。 45，第2期，261-286（2010）.MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.-K.Tran}等人，J.Symb。计算。45，第2号，261--286（2010；Zbl 1192.68190） 全文： 内政部 链接
恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇 具有算术约束的数据结构：一种不相交的组合。 （英语） Zbl 1193.68090号 Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学讲义5749。人工智能课堂讲稿，319-334（2009）。MSC公司：68第05页 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛E.Nicolini｝等人，Lect。注释计算。科学。5749、319--334（2009年；Zbl 1193.68090） 全文： 内政部 链接
恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇 交换群的可组合扩张。 （英语） Zbl 1250.03021号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，51-66（2009）。MSC公司：03B35型 03C10号机组 20K99美元 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Nicolini}等人，Lect。注释计算。科学。5663、51-66（2009年；Zbl 1250.03021） 全文： 内政部 链接
恩里卡·尼科里尼;克里斯托夫·林盖森;米歇尔·鲁西诺维奇 共享整数偏移量的理论组合的可满足性程序。 （英语） Zbl 1234.68262号 Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505428-442（2009）。MSC公司：第68季度第60季度 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.Nicolini}等人，Lect。注释计算。科学。5505428-442（2009年；Zbl 1234.68262） 全文： 内政部