多米尼克·柯斯特;多米尼克·拉切·温德林（Dominique Larchey-Wendling） Coq中的Trakhtenbrot定理：通过构造透镜的有限模型理论。 （英语） Zbl 07566073号 日志。方法计算。科学。 18，第2号，第17号文件，第29页（2022）。理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Kirst}和\textit{D.Larchey-Wendling}，Log。方法计算。科学。18，第2号，第17号文件，第29页（2022；Zbl 07566073） 全文： arXiv公司 链接
多米尼克·柯斯特;多米尼克·拉切·温德林（Dominique Larchey-Wendling） 科克的特拉赫滕布罗特定理。有限模型理论的建设性方法。 （英语） Zbl 07614663号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 79-96 (2020).理学硕士：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Kirst}和\textit{D.Larchey-Wendling}，莱克特。注释计算。科学。12167，79-96（2020；Zbl 07614663） 全文： 内政部 arXiv公司
斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林（Dominique Larchey-Wendling）;丹尼尔·梅里 一个量化变量的分离逻辑。 （英语） Zbl 1435.68117号 理论计算。系统。 61，第2号，371-461（2017）。理学硕士：65年第68季度 03B70号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人，理论计算。系统。61，第2号，371--461（2017；Zbl 1435.68117） 全文： 内政部 哈尔
多米尼克·拉切·温德林（Dominique Larchey-Wendling） 通过组语义将Minsky机器直接模拟为经典的集群逻辑。 （英语） Zbl 1343.03021号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265369-387（2010）。理学硕士：03B47号 03B25号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}，电子。注释Theor。计算。科学。265369-387（2010年；Zbl 1343.03021） 全文： 内政部
多米尼克·拉切·温德林（Dominique Larchey-Wendling）;迪迪埃·加米歇 探索直觉BI和布尔BI之间的关系：意外的嵌入。 （英语） Zbl 1169.03024号 数学。结构。计算。科学。 第3期，第19期，第435-500页（2009年）。理学硕士：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{D.Galmiche}，数学。结构。计算。科学。19，编号3，435-500（2009年；兹bl 1169.03024） 全文： 内政部