×
作者ID: 阿南阿比舍克“阿南德,阿披实”最近发表的zbMATH文章
发布日期: 阿南德,阿比舍克
已编制索引的文档: 7出版物自2013年起
合著者: 11位合著者具有5份联合出版物
106合作作者

按年份列出的出版物

zbMATH Open中包含的引文

5出版物有被引用25中的次19文件 引用人 年份
面向正式验证的证明助理。 Zbl 1416.68146号
阿南德,阿比舍克;文森特·拉里
11
2014
这个MetaCoq公司项目。 Zbl 1468.68075号
索索、马蒂厄;阿南德,阿比舍克;西蒙·博利埃;西里尔·科恩;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特
7
2020
使用键入的Template-Coq实现经认证的元编程。 Zbl 1468.68071号
阿南德,阿比舍克;西蒙·博利埃;西里尔·科恩;索索、马蒂厄;尼古拉斯·塔巴鲁
5
2018
使用计算等价性和部分类型在Nuprl中进行形式化程序优化。 Zbl 1317.68231号
文森特·拉里;马克·比克福德;阿南德,阿比舍克
2
2013
利用非参数估计对二花雀麦幼苗出苗进行建模。 Zbl 1302.62248号
曹,R。;Francisco-Fernández,M。;A.阿南德。;F·巴斯蒂达。;González Andújar,J.L。
1
2013
这个MetaCoq公司项目。 Zbl 1468.68075号
索索、马蒂厄;阿南德,阿比舍克;西蒙·博利埃;西里尔·科恩;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特
7
2020
使用键入的Template-Coq实现经认证的元编程。 Zbl 1468.68071号
阿南德,阿比舍克;西蒙·博利埃;西里尔·科恩;索索、马蒂厄;尼古拉斯·塔巴鲁
5
2018
面向正式验证的证明助理。 Zbl 1416.68146号
阿南德,阿比舍克;文森特·拉里
11
2014
使用计算等价性和部分类型在Nuprl中进行形式化程序优化。 Zbl 1317.68231号
文森特·拉里;马克·比克福德;阿南德,阿比舍克
2
2013
利用非参数估计对二花雀麦幼苗出苗进行建模。 Zbl 1302.62248号
曹,R。;Francisco-Fernández,M。;A.阿南德。;F·巴斯蒂达。;González Andújar,J.L。
1
2013

按年份列出的引文