×
编辑配置文件（在新选项卡中打开）

奥斯卡·亚伯拉罕森

合著者距离
作者ID： 阿布拉汉松·奥斯卡“奥斯卡·亚伯拉罕森”最近发表的zbMATH文章
发布日期： 奥斯卡·亚伯拉罕森
已编制索引的文档： 4出版物自2018年起
合著者： 6位合著者具有3联合出版物
74位合作作者
全部的 前5名

合著者

1 单作者的
三 玛格努斯·奥·米林。
2 何松林
2 拉马纳·库马尔
2 迈克尔·诺里什
2 Tan，Yong Kiam先生
1 赫鲁特维克卡纳巴尔

系列

1 自动推理杂志
1 程序设计中的逻辑和代数方法杂志

领域

4 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

三出版物有被引用10中的次9文件 引用人▼ 年份▼
通过一元HOL函数利用I/O和局部状态进行CakeML的证明合成。 Zbl 1468.68060号
哦，儿子;奥斯卡·亚伯拉罕森;拉马纳·库马尔;玛格努斯·奥·米林。;Tan，Yong Kiam（陈永健）;迈克尔·诺里什
5
2018
一种用于高阶逻辑的验证验证检查器。 Zbl 1433.68527号
奥斯卡·亚伯拉罕森
三
2020
在CakeML中自动引入尾部递归。 Zbl 1505.68004号
奥斯卡·亚伯拉罕森;玛格努斯·奥·米林。
2
2018
一种用于高阶逻辑的验证验证检查器。 Zbl 1433.68527号
奥斯卡·亚伯拉罕森
三
2020
通过一元HOL函数利用I/O和局部状态进行CakeML的证明合成。 Zbl 1468.68060号
哦，儿子;奥斯卡·亚伯拉罕森;拉马纳·库马尔;玛格努斯·奥·米林。;Tan，Yong Kiam先生;迈克尔·诺里什
5
2018
在CakeML中自动引入尾部递归。 Zbl 1505.68004号
奥斯卡·亚伯拉罕森;玛格努斯·奥·米林。
2
2018
所有引用出版物 前5名被引用出版物
全部的 前5名

21位作者引用

4 玛格努斯·奥·米林。
三 Tan，Yong Kiam先生
2 奥斯卡·亚伯拉罕森
2 库马尔，拉马纳
2 托比亚斯·尼普科
2 迈克尔·诺里什
2 西蒙，罗ß科普夫
1 奥曼，波霍拉·约翰内斯
1 Adam J.Chlipala。
1 特拉华州，本杰明
1 阿扎德法尔赞
1 Anthony C.J.福克斯。
1 杰森·格罗斯
1 Heule，Marijn J.H。
1 何松林
1 赫鲁特维克卡纳巴尔
1 维克托·尼科莱特
1 斯科特·欧文斯
1 Pit-Claudel，Clément公司
1 亨利克·罗斯特德
1 王鹏

3篇连载文章中引用

2 自动推理杂志
1 函数编程杂志
1 程序设计中的逻辑和代数方法杂志

在2个字段中引用

9 计算机科学（68至XX）
三 数学逻辑和基础（03-XX）

按年份列出的引文