编辑配置文件（在新选项卡中打开） 大卫·达赖 合著者距离 作者ID： 达赖语.david 发布日期： 大卫·达赖 已编制索引的文档： 4出版物自2011年起 合著者： 6位合著者具有4联合出版物 53位合作作者 全部的 前5名合著者 0 单作者的 2 David A.VanHorn。 1 瑞安·库佩普 1 罗伯特·布鲁斯，芬德勒 1 马修·弗拉特 1 可能吧，马修 1 丹尼尔·斯皮瓦克 系列 2 函数编程杂志 领域 4 计算机科学（68至XX） 2 阶、格、有序代数结构（06-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用12中的次12文件 引用人▼ 年份▼ 用衍生物分析：一种功能性珍珠。 Zbl 1323.68138号 可能吧，马修;大卫·达赖;丹尼尔·斯皮瓦克 10 2011 建设性Galois连接。 兹比尔1493.68104 大卫·达赖;戴维·范霍恩 1 2019 构造性伽罗瓦联系：驯服机械化元理论的伽罗瓦连接框架。 兹比尔1361.68129 Darais，大卫;戴维·范霍恩 1 2016 建设性Galois连接。 Zbl 1493.68104号 大卫·达赖;戴维·范霍恩 1 2019 构造性伽罗瓦联系：驯服机械化元理论的伽罗瓦连接框架。 Zbl 1361.68129号 大卫·达赖;戴维·范霍恩 1 2016 用衍生物分析：一种功能性珍珠。 Zbl 1323.68138号 可能吧，马修;大卫·达赖;丹尼尔·斯皮瓦克 10 2011 所有引用的出版物 前5名被引用出版物 全部的 前5名17位作者引用 三 彼得·蒂曼。 1 安妮·巴南 1 玛丽亚·尤金妮亚·科内霍 1 大卫·达赖 1 杰苏斯·麦地那 1 Minamide、Yasuhiko 1 宫崎骏、高崎 1 格雷格·莫里塞特 1 亚伦·莫斯 1 托比亚斯·尼普科 1 埃洛伊萨·拉米雷斯·波萨 1 马丁·苏尔兹曼 1 沃特·斯威斯特拉 1 Tan、Gang 1 Hayo Thielecke 1 德米特里·特拉泰尔 1 David A.VanHorn。 5篇连载文章中引用 2 函数编程杂志 1 信息处理信件 1 模糊集与系统 1 计算机程序设计科学 1 自动推理杂志 在3个字段中引用 11 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 阶、格、有序代数结构（06-XX） 按年份列出的引文