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

拉斐尔·科兰斯基

合著者距离
作者ID： 科兰斯基·拉法尔“Kolanski，Rafal”最近发表的zbMATH文章
发布方式： 拉斐尔·科兰斯基
已编制索引的文档： 3出版物自2009年起
合著者： 4位合著者具有3联合出版物
53位合作作者

合著者

0 单作者的
三 格温·克莱恩
1 蒂莫西·布鲁克
1 安德鲁·博伊顿
1 马提亚斯·达姆

系列

领域

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

按年份列出的出版物

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

zbMATH Open中包含的引文

三出版物有被引用10中的次10文件 引用人▼ 年份▼
机械化分离代数。 兹比尔1360.68754
格温·克莱恩;拉斐尔·科兰斯基;安德鲁·博伊顿
6
2012
类型、映射和分离逻辑。 Zbl 1252.03079号
拉斐尔·科兰斯基;格温·克莱恩
2
2009
管理大规模证据的挑战和经验。 Zbl 1359.68264号
蒂莫西·布鲁克;马提亚斯·达姆;格温·克莱恩;拉斐尔·科兰斯基
2
2012
机械化分离代数。 Zbl 1360.68754号
格温·克莱恩;拉斐尔·科兰斯基;安德鲁·博伊顿
6
2012
管理大规模证据的挑战和经验。 Zbl 1359.68264号
蒂莫西·布鲁克;马蒂亚斯·道姆;格温·克莱恩;拉斐尔·科兰斯基
2
2012
类型、映射和分离逻辑。 Zbl 1252.03079号
拉斐尔·科兰斯基;格温·克莱恩
2
2009
所有引用的出版物 前5名被引用出版物
全部的 前5名

18位作者引用

三 彼得·兰米奇
2 格温·克莱恩
2 马卡里乌斯·温泽尔
1 尼尔森·比林
1 马提亚斯·达姆
1 布里杰什·多戈尔
1 维克多·戈麦斯。
1 侯哲
1 迈克尔·科尔哈斯
1 罗伯特·克雷伯斯
1 刘，杨
1 丹尼尔·马提库克
1 托比·默里
1 弗洛里安·拉贝
1 大卫·萨南
1 乔治·斯特鲁斯
1 Syeda、Hira Taqdees
1 阿文·费南托（Alwen Fernanto Tiu）

2篇连载文章中引用

4 自动推理杂志
1 计算的形式方面

在2个字段中引用

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

按年份列出的引文