亚历杭德罗·迪亚斯·卡洛;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 线性：线性代数演算。 （英语） Zbl 1448.68206号 日志。方法计算。科学。 13，第1号，第8号论文，33页（2017年）.MSC公司：68甲18 03B40型 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Arrighi}和\textit{G.Dowek}，日志。方法计算。科学。13，第1号，第8号文件，第33页（2017年；兹bl 1448.68206） 全文： 内政部 arXiv公司
巴勃罗·阿里吉;Gilles Dowek 线性代数\（lambda \）-演算：高阶、编码和合流。 （英语） Zbl 1146.68027号 安德烈·沃伦科夫（编辑），《重写技术与应用》。第19届国际会议，2008年RTA，2008年7月15日至17日，奥地利哈根贝格。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，17-31（2008）。MSC公司：68甲18 2012年第68季度 03B40型 2005年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Arrighi}和\textit{G.Dowek}，莱克特。注释计算。科学。5117，17-31（2008；Zbl 1146.68027） 全文： 内政部
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） 全文： 内政部