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

阿泽·迪杰斯特拉

合著者距离
作者ID： dijkstra.atze公司“Dijkstra，Atze”最近发表的zbMATH文章
发布日期： 阿特泽·迪克斯特拉
已编制索引的文档： 3出版物自2005年以来
合著者： 2合著者具有3联合出版物
15位合作作者

合著者

0 单作者的
三 斯威斯特拉，S.多伊茨
1 阿里·米德尔科普

系列

1 高阶和符号计算

领域

三 计算机科学（68至XX）

按年份列出的出版物

zbMATH Open中包含的引文

三出版物有被引用5次4文件 引用人▼ 年份▼
使用属性语法键入Haskell。 Zbl 1158.68354号
阿泽·迪杰斯特拉;斯威斯特拉，S.多伊茨
2
2005
小工具的精益规范：具有一流等式证明的系统F。 Zbl 1232.68029号
阿里·米德尔科普;阿泽·迪杰斯特拉;斯维尔斯特拉，S.Doaitse
2
2010
标尺：编程类型规则。 Zbl 1185.68191号
阿泽·迪杰斯特拉;斯威斯特拉，S.多伊茨
1
2006
小工具的精益规范：具有一流等式证明的系统F。 Zbl 1232.68029号
阿里·米德尔科普;阿泽·迪杰斯特拉;斯威斯特拉，S.多伊茨
2
2010
标尺：编程类型规则。 Zbl 1185.68191号
阿特泽·迪克斯特拉;斯威斯特拉，S.多伊茨
1
2006
使用属性语法键入Haskell。 Zbl 1158.68354号
阿泽·迪杰斯特拉;斯威斯特拉，S.多伊茨
2
2005
全部的 前5名

8位作者引用

2 乔·汤姆·萨拉瓦
1 洛伦佐·贝蒂尼
1 圣保罗费尔南德斯
1 安德鲁·肯尼迪。
1 何塞·努诺·马塞多
1 阿尔贝托·帕尔多
1 克劳迪奥·拉索五世。
1 马科斯·维埃拉

3篇连载文章中引用

1 理论计算机科学
1 高阶和符号计算
1 程序设计中的逻辑和代数方法杂志

在1个字段中引用

4 计算机科学（68至XX）

按年份列出的引文