亚历杭德罗·迪亚斯·卡洛；Gilles Dowek 自然演绎中的一个新连接词及其在量子计算中的应用。 （英语） Zbl 1529.81040号 西奥。计算。科学。 957，文章ID 113840，27 p.（2023）.MSC公司：81页68 32E05型 68甲18 03B38型 68伏15 第81页，共15页 81页第10页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{G.Dowek}，Theor。计算。科学。957，文章ID 113840，27 p.（2023；Zbl 1529.81040） 全文： 内政部 哈尔
弗雷德里克·布兰基；Gilles Dowek；艾米丽·格里恩伯格；加布里埃尔·霍德特；弗朗索瓦·瑟雷 类型理论的模块化结构。 （英语） Zbl 1522.03041号 日志。方法计算。科学。 19，第1号，第12号论文，28页（2023年）. 审核人：Łukasz Czajka（多特蒙德） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Blanqui}等人，日志。方法计算。科学。19，第1号，第12号论文，28页（2023年；Zbl 1522.03041） 全文： 内政部 arXiv公司
Gilles Dowek；费里，加斯帕德；Jean-Pierre Jouannaud；刘嘉祥 通过检查嵌套的临界对，左线性高阶重写理论的融合。 （英语） 兹比尔1512.68128 数学。结构。计算。科学。 32，第7号，898-933（2022）.MSC公司：第68季度第42季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}等人，《数学》。结构。计算。科学。32，编号7，898--933（2022；Zbl 1512.68128） 全文： 内政部
弗雷德里克·布兰基；Gilles Dowek；埃米利·格里恩伯格；加布里埃尔·霍德特；弗朗索瓦·瑟雷 数学的一些公理。 （英语） Zbl 07700625号 Naoki Kobayashi（编辑），第六届计算和演绎形式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。195，第20条，第19页（2021年）。MSC公司：68倍 03B70号 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Blanqui}等人，LIPIcs——莱布尼茨国际程序。通知。195，第20条，第19页（2021；Zbl 07700625） 全文： 内政部
亚历杭德罗·迪亚斯·卡洛；Gilles Dowek 证明同构命题逻辑中的正规化。 （英语） 兹比尔1528.03120 Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第14条，第23页（2019年）。MSC公司：03B40型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{G.Dowek}，LIPIcs——莱布尼茨国际程序。通知。131，第14条，第23页（2019年；Zbl 1528.03120） 全文： 内政部 arXiv公司
亚历杭德罗·迪亚斯·卡洛；Gilles Dowek 键入量子叠加和测量。 （英语） Zbl 1513.81018号 Martín-Vide，Carlos（编辑）等人，《自然计算的理论与实践》。2017年12月18日至20日，第六届国际会议，TPNC 2017，捷克共和国布拉格。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10687, 281-293 (2017).MSC公司：81页68 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{G.Dowek}，莱克特。票据计算。科学。10687，281--293（2017；Zbl 1513.81018） 全文： 内政部 哈尔
Gilles Dowek （lambda\Pi）-微积分模理论中的模型和证明约简的终止。 （英语） Zbl 1442.03009号 Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第109条，第14页（2017年）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，LIPIcs——莱布尼茨国际程序。通知。80，第109条，第14页（2017年；Zbl 1442.03009） 全文： 内政部 arXiv公司
巴勃罗·阿里吉；Gilles Dowek 线性：线性代数演算。 （英语） Zbl 1448.68206号 日志。方法计算。科学。 13，第1号，第8号论文，33页（2017年）.MSC公司：68甲18 03B40型 第68季度第42季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Arrighi}和\textit{G.Dowek}，日志。方法计算。科学。13，第1号，第8号文件，第33页（2017年；兹bl 1448.68206） 全文： 内政部 arXiv公司
Gilles Dowek 演绎模理论。 （英语） Zbl 1431.03023号 Woltzenogel Paleo，Bruno（编辑）等人，《关于证据的一切，所有证据》。伦敦：学院出版物。螺柱日志。（伦敦）55，134-149（2015）。MSC公司：03B35型 2007年3月 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，螺柱日志。（伦敦）55，134--149（2015；Zbl 1431.03023） 全文： arXiv公司
Gilles Dowek 关于经典连接词和量词的定义。 （英语） Zbl 1410.03008号 爱德华·赫尔曼（Edward Hermann）等，为什么这是一个证明？路易斯·卡洛斯·佩雷拉的节日庆典。伦敦：学院出版物。致敬27，228-238（2015）。MSC公司：03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，《致敬》27，228--238（2015；Zbl 1410.03008） 全文： arXiv公司
Cláudia Nalon；布鲁诺·洛佩斯；Gilles Dowek；爱德华·赫尔曼·海尔 基于解析和动态逻辑的Petri网自动验证演算。 （英语） Zbl 1342.68237号 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312125-141，仅电子版（2015）。MSC公司：68问题85 03B45 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Nalon}等人，《电子》。注释Theor。计算。科学。312125--141（2015；Zbl 1342.68237） 全文： 内政部
塞西莉亚·恩格兰德；Gilles Dowek；爱德华·赫尔曼·海尔 序列演算和自然演绎之间的又一个双射。 （英语） Zbl 1343.03042号 Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312107-124，仅电子版（2015）。MSC公司：03财年03 03B20型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Englander｝等人，电子。注释Theor。计算。科学。312107--124（2015；Zbl 1343.03042） 全文： 内政部
Gilles Dowek 逻辑。（La logique。） （法语） Zbl 1362.03001号 波切。巴黎：埃蒂安斯·勒·波米耶（ISBN 978-2-7465-0878-1/pbk）。96页。(2015). 审核人：斯坦尼·马祖基维奇（里昂） MSC公司：03-01 03B05号 03B10号机组 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，La logique。巴黎：埃蒂蒂斯·勒·波米耶（2015；Zbl 1362.03001）
Gilles Dowek；蒋莹 可判定性、引入规则和自动机。 （英语） Zbl 1471.03012号 Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9450, 97-111 (2015).MSC公司：03B25号 05年3月 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{Y.Jiang}，Lect。票据计算。科学。9450，97-111（2015；Zbl 1471.03012） 全文： 内政部 arXiv公司 哈尔
Gilles Dowek 计算、验证、机器。数学进入了一个新时代。皮埃尔·吉洛（Pierre Guillot）和马里恩·罗曼（Marion Roman）从法语翻译而来。 （英语） 兹比尔1318.01002 剑桥：剑桥大学出版社（ISBN 978-0-521-13377-7/pbk；978-0-5.21-11801-9/hbk）。viii，152页。(2015).MSC公司：01-02 03-03 03B35型 03B40型 03B70号 03年月日 03Fxx公司 68倍 68-02 2003年8月 68甲18 68季度xx 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，计算，证明，机器。数学进入了一个新时代。由皮埃尔·吉洛和马里恩·罗曼从法语翻译而来。剑桥：剑桥大学出版社（2015；Zbl 1318.01002）
亚历杭德罗·迪亚斯·卡洛；Gilles Dowek 非流动系统的概率。 （英语） Zbl 1464.68140号 Ayala-Rincón，Mauricio（编辑）等人，第九届计算模型发展国际研讨会论文集，DCM’13，阿根廷布宜诺斯艾利斯，2013年8月26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）144，1-15（2014）。MSC公司：第68季度第42季度 03B40型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{G.Dowek}，电子。程序。西奥。计算。科学。（EPTCS）144，1--15（2014；Zbl 1464.68140） 全文： arXiv公司 链接
Gilles Dowek（编辑） 重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。 （英语） 兹比尔1291.68017 计算机科学课堂讲稿8560.柏林：施普林格出版社（ISBN 978-3-319-08917-1/pbk）。xxii，491页。(2014).MSC公司：68-06 03-06 03B40型 68甲18 第68季度第42季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}（编辑），重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：施普林格出版社（2014；Zbl 1291.68017） 全文： 内政部
亚历杭德罗·迪亚斯·卡洛；Gilles Dowek 通过类型同构实现的非确定性。 （英语） Zbl 1464.03012号 Kesner，Delia（编辑）等人，《逻辑和语义框架及其应用第七次研讨会论文集》，巴西里约热内卢，2012年9月29日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）113137-144（2013）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{G.Dowek}，电子。程序。西奥。计算。科学。（EPTCS）113137--144（2013；Zbl 1464.03012） 全文： arXiv公司 链接
亨克·巴伦德雷格特；威尔·德克尔斯；理查德·斯塔特曼 [法比奥·阿莱西；马克·贝泽姆；费利斯·卡多内；马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；Gilles Dowek；吉列赞，西尔维娅；Furio Honsell；迈克尔·穆尔特加特；波拉·塞韦利；巴威·乌尔兹琴] 具有类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。 （英语） Zbl 1347.03001号 逻辑观点剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（ISBN 978-0-521-76614-2/hbk）。第二十二章，第833页。(2013). 审核人：莱因哈德·卡勒（里斯本） MSC公司：03-01 03B40型 03B15号机组 03D75号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Barendregt}等人，类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（2013年；Zbl 1347.03001）
Gilles Dowek；默多克·J·加贝。 允许名词逻辑：名词术语和集合上的一阶逻辑。 （英语） Zbl 1352.03042号 ACM事务处理。计算。日志。 第13号第3条第20条第36页（2012年）.MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{M.J.Gabbay}，ACM Trans。计算。日志。13，第3号，第20条，第36页（2012；Zbl 1352.03042） 全文： 内政部
Gilles Dowek；奥利维尔·赫尔曼特 超一致性意味着消减的简单证明。 （英语） Zbl 1270.03120号 圣母院J.形式逻辑 53，第4期，439-456（2012）.MSC公司：05年3月 03B15号机组 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{O.Hermant}，圣母院J.形式逻辑53，第4期，439--456（2012；Zbl 1270.03120） 全文： 内政部 欧几里得
Gilles Dowek 独立于理论的Curry-De Bruijn-Howard函件。 （英语） Zbl 1367.03029号 Czumaj，Artur（编辑）等人，《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会，ICALP 2012。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-31584-8/pbk）。计算机科学讲义7392，13-15（2012）。MSC公司：03B40型 03B35型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，莱克特。票据计算。科学。7392，13-15（2012；Zbl 1367.03029） 全文： 内政部 arXiv公司
Gilles Dowek；默多克·J·加贝。 PNL到HOL：从标称集逻辑到高阶函数逻辑。 （英语） Zbl 1309.03013号 西奥。计算。科学。 451, 38-69 (2012).MSC公司：03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{M.J.Gabbay}，Theor。计算。科学。451、38--69（2012；Zbl 1309.03013） 全文： 内政部 arXiv公司
Gilles Dowek 微积分的变形。令人惊叹的数学史。重印2007年版。（《计算的方法》。数学史上的不均衡。） （法语） Zbl 1360.01012号 波切。巴黎：埃蒂安斯·勒·波米耶（ISBN 978-2-7465-0561-2/pbk）。224页。(2011).MSC公司：01-02 03-03 03B35型 03B40型 03B70号 03年月日 03Fxx公司 68-02 2003年8月 68甲18 68季度xx 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，《计算的变形金刚》。不和谐的数学史。2007年版的再版。巴黎：埃蒂安斯·勒·波米耶（2011；Zbl 1360.01012）
Gilles Dowek；蒋莹 关于计划的表达能力。 （英语） Zbl 1241.03070号 Inf.计算。 209，第9期，1231-1245（2011）.MSC公司：2007年3月 03B40型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{Y.Jiang}，Inf.Compute。209，第9号，1231--1245（2011；Zbl 1241.03070） 全文： 内政部 arXiv公司
Gilles Dowek 证明和算法。逻辑和可计算性简介。 （英语） Zbl 1230.03001号 计算机科学本科专题纽约州纽约市：施普林格出版社（ISBN 978-0-85729-120-2/pbk；978-0-850729-121-9/电子书）。xii，155页。(2011). 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03-01 68-01 03B10号机组 03B25号 03B35型 03B40型 03B70号 03C07号机组 03日第10天 03D20日 03天35分 03财年03 2005年第68季度 68周01 PDF格式BibTeX公司 XML格式引用 \textit｛G.Dowek｝，证明和算法。逻辑和可计算性简介。纽约州纽约市：施普林格（2011；Zbl 1230.03001） 全文： 内政部
Gilles Dowek 证明和算法。逻辑和可计算性简介。（Les démonstrations et Les algorithmes.逻辑与计算导论。） （法语） Zbl 1230.03002号 Palaiseau:Les Editions de l’ecole Polytechnique（ISBN 978-2-7302-1569-5）。195页。(2010).MSC公司：03-01 68-01 03B10号机组 03B25号 03B35型 03B40型 03B70号 03C07号机组 03日第10天 03D20日 03天35分 03财年03 2005年第68季度 68周01 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，Les démonstrations et Les algorithms（《Les d e monstrations-Les算法》）。逻辑与计算导论。Palaiseau:LesÉditions de l‘École Polytechnique（2010年；兹bl 1230.03002）
Gilles Dowek；默多克·J·加贝。；多米尼克·P·穆利根。 允许的名词性术语及其统一：名词性技术的无限、共无限方法。 （英语） Zbl 1215.03048号 日志。J.IGPL公司 18，第6期，769-822（2010）.MSC公司：03B70号 68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}等人，日志。J.IGPL 18，第6号，769--822（2010；Zbl 1215.03048） 全文： 内政部 arXiv公司
Gilles Dowek 证明理论中基于约简和基于模型的方法的收敛性。 （英语） Zbl 1183.03061号 日志。J.IGPL公司 17，第5期，489-497（2009）. 审核人：M.Yasuhara（普林斯顿） MSC公司：05年3月 03C30号 03财年03 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，日志。J.IGPL 17，第5号，489--497（2009；Zbl 1183.03061） 全文： 内政部 arXiv公司
Gilles Dowek 简单类型理论中的Skolemization：逻辑和理论观点。 （英语） Zbl 1226.03016号 Benzmüller，Christoph（编辑）等人，《简单类型理论中的推理》。庆祝彼得·安德鲁斯70岁生日。伦敦：学院出版物（ISBN 978-1-904987-70-3/pbk）。逻辑研究（伦敦）17。《数理逻辑与基础》，259-270（2008）。MSC公司：03B15号机组 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，螺柱日志。（伦敦）17，259--270（2008；Zbl 1226.03016）
巴勃罗·阿里吉；Gilles Dowek 线性代数\（lambda \）-演算：高阶、编码和合流。 （英语） Zbl 1146.68027号 安德烈·沃伦科夫（编辑），《重写技术与应用》。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，17-31（2008）。MSC公司：68甲18 第68季度第42季度 03B40型 2005年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Arrighi}和\textit{G.Dowek}，莱克特。票据计算。科学。5117，17-31（2008年；兹bl 1146.68027） 全文： 内政部
丹尼斯·卡西诺；Gilles Dowek 在lambda-pi-演算模中嵌入纯类型系统。 （英语） Zbl 1215.03021号 Ronchi della Rocca，Simona（编辑），《键入lambda calculi和应用程序》。2007年6月26日至28日在法国巴黎举行的第八届TLCA国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73227-3/pbk）。计算机科学课堂讲稿4583102-117（2007）。MSC公司：03B40型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Cousineau}和\textit{G.Dowek}，莱克特。票据计算。科学。4583、102-117（2007年；Zbl 1215.03021） 全文： 内政部 哈尔
Gilles Dowek 微积分的变形。令人惊叹的数学史。（《计算的方法》。数学史上的不均衡。） （法语） Zbl 1161.01001号 巴黎：《爱丁堡》（ISBN 978-2-7465-0324-3/pbk）。224页。(2007). 审核人：Radoslav M.Dimitrić（联合镇） MSC公司：01-02 03-03 03B35型 03B40型 03B70号 03年月日 03Fxx公司 68-02 2003年8月 68甲18 68季度xx 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，《计算的变形金刚》。不和谐的数学史。巴黎：埃蒂蒂斯·勒·波米耶（2007；Zbl 1161.01001）
Gilles Dowek；奥利维尔·赫尔曼特 超一致性意味着消减的简单证明。 （英语） Zbl 1203.03086号 Franz Baader（编辑），术语重写和应用。2007年6月26日至28日在法国巴黎举行的2007年RTA第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73447-5/pbk）。计算机科学课堂讲稿4533，93-106（2007）。MSC公司：05年3月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit｛G.Dowek｝和\textit｛O.Hermant｝，Lect。票据计算。科学。4533，93-106（2007；Zbl 1203.03086） 全文： 内政部
Gilles Dowek；蒋莹 特征变量、括号和正最小谓词逻辑的可判定性。 （英语） 兹比尔1106.03006 西奥。计算。科学。 360，编号1-3，193-208（2006）. 审核人：G.E.Mints（斯坦福） MSC公司：03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{Y.Jiang}，Theor。计算。科学。360，编号1--3，193--208（2006；Zbl 1106.03006） 全文： 内政部
Gilles Dowek 当我们知道一个理论是一致的时，我们知道什么？ （英语） Zbl 1135.03326号 Nieuwenhuis，Robert（编辑），自动扣除-CADE-20。第20届自动扣减国际会议，爱沙尼亚塔林，2005年7月22日至27日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28005-7/pbk）。计算机科学课堂讲稿3632。人工智能课堂讲稿，1-6（2005）。MSC公司：03B35型 05年3月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，莱克特。票据计算。科学。3632，1--6（2005；Zbl 1135.03326） 全文： 内政部
Gilles Dowek；蒋莹 特征变量、括号和正最小直觉逻辑的可判定性。 （英语） 兹比尔1264.03039 Dahn，Ingo（编辑）等人，《数学、逻辑和计算研讨会论文集》（ICALP 2003年卫星活动），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》85，第7期，17-29（2003）。MSC公司：03B25号 03B15号机组 03B20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{Y.Jiang}，电子。注释Theor。计算。科学。85，编号7，17--29（2003；Zbl 1264.03039） 全文： 内政部
Gilles Dowek 类型理论和证明处理系统。（《数学模型的类型和系统信息》） （法语。英文摘要） Zbl 1127.03319号 数学。科学。嗯，数学。社会科学。 165, 13-29 (2003).MSC公司：03B15号机组 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，数学。科学。嗯，数学。社会科学。165、13-29（2003年；Zbl 1127.03319）
Gilles Dowek；本杰明·沃纳 证明标准化模。 （英语） Zbl 1059.03062号 J.塞姆。日志。 68，第4期，1289-1316（2003）.MSC公司：05年3月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{B.Werner}，J.Symb。日志。68，第4号，1289--1316（2003；Zbl 1059.03062） 全文： 内政部 欧几里得 链接
Gilles Dowek；塞雷塞·哈丁；克洛德·基什内尔 证明模的定理。 （英语） Zbl 1049.03011号 J.汽车。推理 31，第1期，33-72（2003）. 审核人：乌韦·舍宁（乌尔姆） MSC公司：03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}等人，J.Autom。推理31，No.1，33--72（2003；Zbl 1049.03011） 全文： 内政部
Gilles Dowek 什么是理论？ （英语） Zbl 1054.03026号 Alt，Helmut（编辑）等人，STACS 2002。第19届计算机科学理论方面年度研讨会。2002年3月14日至16日，法国安提布斯-胡安莱斯·平斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43283-3）。莱克特。票据计算。科学。2285, 50-64 (2002).MSC公司：03B70号 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，莱克特。票据计算。科学。2285、50-64（2002年；Zbl 1054.03026） 全文： 链接
Gilles Dowek；塞雷塞·哈丁；克洛德·基什内尔 绑定逻辑：证明和模型。 （英语） Zbl 1023.03023号 Baaz，Matthias（编辑）等人，《编程逻辑、人工智能和推理》。第九届国际会议，2002年10月14日至18日，格鲁吉亚第比利斯，LPAR 2002。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2514, 130-144 (2002).MSC公司：03B70号 68号30 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}等人，Lect。票据计算。科学。2514、130--144（2002年；Zbl 1023.03023） 全文： 链接
Gilles Dowek 高阶统一和匹配。 （英语） Zbl 1011.03005号 Alan Robinson（编辑）等人，《自动推理手册》。在2卷中。阿姆斯特丹：北荷兰/爱思唯尔；0-444-50812-0（第二卷）；0-444-50813-9（套））。1009-1062 (2001). 审核人：N.Zamov（喀山） MSC公司：03B35型 68吨15 03B40型 03B25号 第68季度第42季度 03B15号机组 03-02 68-02 1999年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，in：自动推理手册。2卷。阿姆斯特丹：北荷兰/爱思唯尔；马萨诸塞州剑桥：麻省理工学院出版社。1009--1062（2001；Zbl 1011.03005）
Gilles Dowek；塞雷塞·哈丁；克洛德·基什内尔 HOL-\（\lambda\sigma\）：高阶逻辑的有意一阶表达式。 （英语） Zbl 0972.03012号 数学。结构。计算。科学。 11，第1期，21-45（2001）.MSC公司：03B35型 03B15号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛G.Dowek｝等人，《数学》。结构。计算。科学。11，第1号，第21--45页（2001；Zbl 0972.03012） 全文： 内政部
Gilles Dowek；塞雷塞·哈丁；克洛德·基什内尔 通过显式替换实现高阶统一。 （英语） Zbl 1005.03016号 Inf.计算。 157，编号1-2，183-235（2000）.MSC公司：03B40型 03B15号机组 03B35型 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}等人，《信息计算》。157，编号1--2，183-235（2000；Zbl 1005.03016） 全文： 内政部 链接
Gilles Dowek 公理与重写规则：从完整性到删减消除。 （英语） Zbl 0961.03013号 Kirchner，Hélène（编辑）等人，《组合系统的前沿》。2000年3月22日至24日，法国南希，第三届国际研讨会，FroCoS 2000。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1794年，62-72页（2000年）。MSC公司：03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，莱克特。票据计算。科学。1794，62-72（2000；Zbl 0961.03013）
Gilles Dowek 一阶逻辑模的自动定理证明：关于类型论和集合论的区别。 （英语） Zbl 0960.03008号 卡费拉、里卡多（编辑）等，《经典和非经典逻辑中的自动演绎》。精选论文。柏林：斯普林格。莱克特。票据计算。科学。1761, 1-22 (2000).MSC公司：03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，莱克特。票据计算。科学。1761，1--22（2000；Zbl 0960.03008）
Gilles Dowek；本杰明·沃纳 证明标准化模。 （英语） Zbl 0944.03052号 Altenkirch，Thorsten（编辑）等人，《证明和程序的类型》。98型国际研讨会。Kloster Irsee，德国，1999年3月27日至31日。精选论文。柏林：斯普林格。莱克特。票据计算。科学。1657, 62-77 (1999).MSC公司：05年3月 03B35型 03B15号机组 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{B.Werner}，莱克特。票据计算。科学。1657，62--77（1999；Zbl 0944.03052）
Gilles Dowek；塞雷塞·哈丁；克洛德·基什内尔 HOL-\（\lambda\sigma\）：高阶逻辑的有意一阶表达式。 （英语） Zbl 0944.03007号 Narendran，Paliath（编辑）等人，《重写技术与应用》。第十届国际会议，RTA-99。意大利特伦托，1999年7月2日至4日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1631, 317-331 (1999).MSC公司：03B35型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}等人，Lect。票据计算。科学。16311317-331（1999年；兹bl 0944.03007）
Gilles Dowek 集合、集合和类型。 （英语） Zbl 0937.03010号 数学。结构。计算。科学。 9，第1期，109-123（1999）. 审核人：P.马特拉纳（普拉哈） MSC公司：03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，数学。结构。计算。科学。9，第1号，109--123（1999；Zbl 0937.03010） 全文： 内政部
Gilles Dowek 证明是对象的数学的无类型形式化。 （英语） Zbl 0931.03013号 Giménez，Eduardo（编辑）等人，《证明和程序的类型》。1996年12月15日至19日，法国奥索瓦，96年国际研讨会类型。精选论文。柏林：斯普林格。莱克特。票据计算。科学。151288-111（1998）中所述。 审核人：博里奇奇（贝尔格莱德） MSC公司：03立方厘米30 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，莱克特。票据计算。科学。1512，88--111（1998；Zbl 0931.03013）
Gilles Dowek 高阶逻辑一阶公式的证明规范化。 （英语） Zbl 0905.03036号 Gunter，Elsa L.（编辑）等人，《高阶逻辑中的定理证明》。第十届国际会议，1997年TPHOL。美国新泽西州默里山，1997年8月19日至22日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1275, 105-119 (1997).MSC公司：05年3月 03B15号机组 PDF格式BibTeX公司 XML格式引用 \文本｛G.Dowek｝，Lect。票据计算。科学。1275、105-119（1997；Zbl 0905.03036）
Gilles Dowek Lambda-calculus，组合词和理解方案。 （英语） Zbl 1063.03512号 Dezani-Ciancaglini，Mariangiola（编辑）等人，《类型lambda计算和应用》。1995年4月10日至12日，英国爱丁堡，1995年TLCA第二届国际会议。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-59048-X）。莱克特。票据计算。科学。902, 154-170 (1995).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，莱克特。票据计算。科学。902154-170（1995年；Zbl 1063.03512）
Gilles Dowek 三阶匹配是可判定的。 （英语） Zbl 0822.03010号 Ann.纯粹应用。逻辑 69，编号2-3，135-155（1994）. 审核人：T.Hikita（川崎） MSC公司：03B40型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，Ann.纯粹应用。逻辑69，编号2--3，135-155（1994；Zbl 0822.03010） 全文： 内政部
Gilles Dowek 勘误：“在具有依赖类型或类型构造函数的计算中，三阶模式匹配的不可判定性”。（勘误表：“L'indécidabilitédu filtrace du troisième ordre dans les calculs avec types dépendants ou constructurers de types”。） （法语） Zbl 0799.03008号 C.R.学院。科学。，巴黎，Sér。我 318，第9号，873（1994）.MSC公司：03B40型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，C.R.学院。科学。，巴黎，Sér。I 318，编号9，873（1994；Zbl 0799.03008）
Gilles Dowek lambda-pi-演算中典型性的不可判定性。 （英语） 兹比尔0788.68017 Bezem，Marc（编辑）等人，《类型化Lambda结石及其应用》。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。664, 139-145 (1993).MSC公司：68甲15 03B40型 03B25号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，莱克特。票据计算。科学。664139——145（1993年；Zbl 0788.68017）
Gilles Dowek 类型立方体系统的完全证明综合方法。 （英语） Zbl 0789.68123号 J.日志。计算。 3，第3号，287-315（1993）. 审核人：Gilles Dowek MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，J.Log。计算。3，第3号，287--315（1993；Zbl 0789.68123） 全文： 内政部 哈尔
Gilles Dowek 在可表示原始递归函数的计算中，模式匹配的不可判定性。 （英语） Zbl 0773.03011号 西奥。计算。科学。 107，第2期，349-356（1993）.MSC公司：03B40型 03B25号 03D20日 03天35分 PDF格式BibTeX公司 XML格式引用 \文本{G.Dowek}，Theor。计算。科学。107，编号2，349--356（1993；Zbl 0773.03011） 全文： 内政部
Gilles Dowek 构造演算中的自动证明。（结构计算自动化演示） （法语） Zbl 0849.68111号 罗克扬科特：国家信息与自动化研究所（INRIA）。128 p.（巴黎大学VII，1991年）（1991年）。 审核人：C.Masalagiu（MR 95i:68116） MSC公司：68吨15 03B35型 03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，《结构计算自动化演示》。罗克扬科特：国家信息与自动化研究所（INRIA）（1991；Zbl 0849.68111）
Gilles Dowek L'indécidabilityédu filtrace du troisième ordre dans les calculs avec types dépen-dants ou constructors de types。（在具有依赖类型或类型构造函数的计算中，三阶模式匹配的不可判定性）。 （法语。英文简写版） Zbl 0761.03007号 C.R.学院。科学。，巴黎，Sér。我 312，第12号，951-956（1991）. 审核人：G.Amiot（马赛） MSC公司：03B40型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，C.R.学院。科学。，巴黎，Sér。I 312，第12号，951--956（1991；Zbl 0761.03007）
Gilles Dowek 一种用于类型化\（\lambda\）-结石立方体的二阶模式匹配算法。 （英语） Zbl 0764.68045号 计算机科学数学基础。第16国际交响乐团。，Kazimierz Dolny/波兰。1991年，法律。票据计算。科学。520, 151-160 (1991).MSC公司：68宽10 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}，莱克特。票据计算。科学。520151-160（1991年；Zbl 0764.68045）