编辑配置文件(在新选项卡中打开) 特拉华州,本杰明 合著者距离 作者ID: 德拉瓦雷·本杰明 发布日期: 特拉华州,本杰明 已编制索引的文档: 5出版物自2013年起 合著者: 10位合著者具有5联合出版物 343位合作作者 全部的 前5名合著者 0 单作者的 2 Adam J.Chlipala。 2 杰森·格罗斯 2 布鲁诺·C·d·S·奥利维拉。 2 Pit-Claudel,Clément公司 2 汤姆·施里杰弗斯 1 罗伯特·H·迪克森。 1 史蒂文·基切 1 王鹏 1 叶千川 1 Michael K·张。 系列 字段 5 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 4出版物有被引用20中的次18文件 引用人▼ 年份▼ 菲亚特:在证明助手中对抽象数据类型的演绎合成。 Zbl 1346.68175号 特拉华州,本杰明;Pit-Claudel,Clément公司;杰森·格罗斯;亚当·奇利帕拉 11 2015 点菜的元理论。 Zbl 1301.68218号 特拉华州,本杰明;布鲁诺·C·d·S·奥利维拉。;汤姆·施里杰弗斯 5 2013 模一元元理论。 Zbl 1323.68357号 特拉华州,本杰明;史蒂文·基切;汤姆·施里杰弗斯;布鲁诺·C·d·S·奥利维拉。 三 2013 具有外部函数、手动管理内存和证明的高效命令式程序的可扩展提取。 Zbl 07614665号 Pit-Claudel,Clément公司;王鹏;特拉华州,本杰明;杰森·格罗斯;亚当·奇利帕拉 1 2020 具有外部函数、手动管理内存和证明的高效命令式程序的可扩展提取。 Zbl 07614665号 Pit-Claudel,Clément公司;王鹏;特拉华州,本杰明;杰森·格罗斯;亚当·奇利帕拉 1 2020 菲亚特:在证明助手中对抽象数据类型的演绎合成。 Zbl 1346.68175号 特拉华州,本杰明;Pit-Claudel,Clément公司;杰森·格罗斯;亚当·奇利帕拉 11 2015 点菜的元理论。 Zbl 1301.68218号 特拉华州,本杰明;布鲁诺·C·d·S·奥利维拉。;汤姆·施里杰弗斯 5 2013 模一元元理论。 Zbl 1323.68357号 特拉华州,本杰明;史蒂文·基切;汤姆·施里杰弗斯;布鲁诺·C·d·S·奥利维拉。 三 2013 所有引用出版物 排名前五的出版物 全部的 前5名47位作者引用 2 皮埃尔·埃瓦里斯特·达甘 2 彼得·兰米奇 2 埃里克·坦特 2 保罗·托里尼 1 丹尼尔·安尼科夫 1 费利佩·巴纳多斯·施沃特 1 杰斯珀·本特森 1 布洛特,亚瑟 1 Adam J.Chlipala。 1 安德烈亚·科斯蒂亚 1 大卫·达赖 1 特拉华州,本杰明 1 伊萨贝拉博士 1 凯瑟琳·杜布瓦 1 罗纳德·加西亚 1 杰森·格罗斯 1 丹·格罗斯曼 1 阿玛·盖诺 1 黄康静 1 都铎Jebelean 1 拉马纳·库马尔 1 朱莉娅·劳尔。 1 莱丹,艾米莉 1 约翰·W·利奥。 1 安德烈亚斯·洛赫比勒 1 肯·马德勒 1 格雷戈里·马莱查 1 米克尔·米洛 1 马修·蒙廷 1 玛格努斯·奥·米林。 1 尼尔森,雅各布·博茨 1 诺里斯,迈克尔 1 Pit-Claudel,Clément公司 1 波利卡波娃,娜迪亚 1 邱晓康 1 塔里亚·林格 1 汤姆·施里杰弗斯 1 伊利亚·谢尔盖 1 斯梅特泽斯,沙克 1 溅出物,Bas 1 斯特拉图拉特,索林 1 尼古拉斯·塔巴鲁 1 马克·范·埃克伦 1 David A.VanHorn。 1 王鹏 1 纳撒尼尔·亚兹达尼 1 朱,艾米 3篇连载文章中引用 4 函数编程杂志 2 自动推理杂志 1 符号计算杂志 在3个字段中引用 18 计算机科学(68-XX) 2 阶、格、有序代数结构(06-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文