大卫·巴尔德（编辑）;艾米·费尔蒂（编辑）;戈帕兰·纳达图尔（编辑）;亚历克西斯·索林（编辑） 前言。这是一期关于结构证明理论、自动推理和计算的特刊，以庆祝戴尔·米勒的60岁生日。 （英语） Zbl 1425.00133号 数学。结构。计算。科学。 第8期第29期，1007-1008（2019）.MSC公司：00B25型 03-06 68-06 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}（编辑）等，《数学》。结构。计算。科学。29，第8号，1007--1008（2019；Zbl 1425.00133） 全文： 内政部
大卫·巴尔德（编辑）;Carayol，阿诺（编辑）;拉尔夫·马提斯（编辑）;伊戈尔·瓦卢基维奇（编辑） 2013年计算机科学（FICS）固定点。前言。 （英语） Zbl 1376.00014号 芬丹。通知。 150，第3-4号，i-ii（2017）.MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}（编辑）等人，Fundam。通知。150，编号3--4，i-ii（2017；Zbl 1376.00014） 全文： 内政部
大卫·巴尔德（编辑）;Carayol，阿诺（编辑） 2013年9月1日，意大利都灵，第九届计算机科学定点研讨会会议记录。 （英语） 兹伯利1415.68013 理论计算机科学电子论文集（EPTCS）126.滑铁卢：开放出版协会（OPA）。104页。，仅电子版，开放存取（2013年）。MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Baelde｝（编辑）和\textit｛A.Carayol｝（编辑），第九届计算机科学不动点研讨会论文集，意大利图里诺，2013年9月1日。滑铁卢：开放出版协会（OPA）（2013；Zbl 1415.68013） 全文： 内政部 arXiv公司 链接