编辑配置文件（在新选项卡中打开） 戴米安·德斯方丹 合著者距离 作者ID： desfontaines.damien公司 发布日期： 戴米安·德斯方丹 已编制索引的文档： 5出版物自2015年起，包括1本书 合著者： 4位合著者具有5联合出版物 207位合作作者 合著者 0 单作者的 2 Laurent Bienvenu 2 克里斯蒂安·卡鲁德。 2 亚历山大·沈 1 巴拉兹·佩约 系列 1 国际计算机科学基础杂志 1 计算机基础理论 1 计算机科学中的逻辑方法 1 Springer计算机科学简介 领域 5 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 程序停止的百分比是多少？ Zbl 1440.03057号 Laurent Bienvenu;戴米安·德斯方丹;亚历山大·沈 1 2015 程序停止的百分比是多少？ 兹比尔1440.03057 Laurent Bienvenu;戴米安·德斯方丹;亚历山大·沈 1 2015 2位作者引用 1 亚历山大·沈 1 尼古拉·韦雷沙金（Nikolay K.Vereshchagin）。 0连载引用 在2个字段中引用 1 统计学（62-XX） 1 计算机科学（68至XX） 按年份列出的引文