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

阿里·米德尔科普

合著者距离
作者ID: 米德尔科普群岛“Middelkoop，Arie”最近发表的zbMATH文章
发布日期： 阿里·米德尔科普
编入索引的文档： 2出版物自2007年起
合著者： 4位合著者具有2联合出版物
31位合作作者

合著者

0 单作者的
1 阿泽·迪杰斯特拉
1 尤里安·黑格
1 斯特凡·霍尔德曼
1 斯威斯特拉，S.多伊茨

系列

1 高阶和符号计算

领域

2 计算机科学（68至XX）

按年份列出的出版物

zbMATH Open中包含的引文

2出版物被引用5中的次5文件 引用人▼ 年份▼
带有子效果限定符的通用用法分析。 Zbl 1291.68144号
尤里安·黑格;斯特凡·霍尔德曼;阿里·米德尔科普
三
2007
小工具的精益规范：具有一流等式证明的系统F。 Zbl 1232.68029号
阿里·米德尔科普;阿泽·迪杰斯特拉;斯威斯特拉，S.多伊茨
2
2010
小工具的精益规范：具有一流等式证明的系统F。 Zbl 1232.68029号
阿里·米德尔科普;阿泽·迪杰斯特拉;斯威斯特拉，S.多伊茨
2
2010
带有子效果限定符的通用用法分析。 Zbl 1291.68144号
尤里安·哈格;斯特凡·霍尔德曼;阿里·米德尔科普
三
2007
全部的 前5名

12位作者引用

1 约阿希姆·布雷特纳
1 埃德斯科·德弗里斯
1 尤里安·哈格
1 斯特凡·霍尔德曼
1 安德鲁·肯尼迪。
1 何塞·努诺·马塞多
1 西蒙·琼斯（Simon L.Peyton Jones）。
1 克劳迪奥·拉索五世。
1 乔·汤姆·萨拉瓦
1 谢尔盖，伊利亚
1 马科斯·维埃拉
1 Vytiniotis，迪米特里奥斯

3篇连载文章中引用

1 理论计算机科学
1 函数编程杂志
1 高阶和符号计算

在2个字段中引用

5 计算机科学（68至XX）
1 数理逻辑与基础（03-XX）

按年份列出的引文