×
作者ID: 德拉瓦雷·本杰明“特拉华,本杰明”最近发表的zbMATH文章
发布日期: 特拉华州,本杰明
已编制索引的文档: 5出版物自2013年起
合著者: 10位合著者具有5联合出版物
343位合作作者

系列

按年份列出的出版物

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

按年份列出的引文