编辑配置文件(在新选项卡中打开) 阿列克桑德·卡比雪夫 合著者距离 作者ID: 卡比雪夫·阿莱克桑德 发布日期: 阿列克桑德·卡比雪夫;A.卡比雪夫。 已编制索引的文档: 8出版物自2010年起 合著者: 14位合著者具有8联合出版物 464位合作作者 全部的 前5名合著者 0 单作者的 4 沙龙·肖姆 三 马丁·霍夫曼 2 尼古拉·S·比约纳。 2 尼尔·伊梅尔曼 2 沙迦·伊扎基 2 奥德·帕顿 2 诺姆·里内茨基 2 穆利·萨吉夫 2 赫尔穆特·塞德尔 1 阿斯兰·阿斯卡洛夫 1 安德烈·鲍尔 1 拉尔斯·比克达尔 1 奥里·拉哈夫 1 卡斯珀·斯文森 系列 1 美国医学会杂志 领域 8 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用27中的次22文件 引用人▼ 年份▼ 普适不变量的属性定向推理或证明其缺失。 Zbl 1381.68169号 A.卡比雪夫。;北卡罗来纳州比约纳。;伊扎基,S。;北卡罗来纳州里内茨基。;绍姆,S。 8 2015 关于二阶泛函的一元参数性。 Zbl 1260.68071号 安德烈·鲍尔;马丁·霍夫曼;阿列克桑德·卡比雪夫 4 2013 普适不变量的属性定向推理或证明其缺失。 Zbl 1426.68050号 阿列克桑德·卡比雪夫;尼古拉·比约纳;沙迦·伊扎基;诺姆·里内茨基;沙龙·肖姆 4 2017 推断归纳不变量的决定性。 兹比尔1347.68234 奥德·帕顿;尼尔·伊梅尔曼;沙龙·肖姆;阿列克桑德·卡比雪夫;穆利·萨吉夫 4 2016 什么是纯函数? Zbl 1288.68037号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 三 2010 分散SDN政策。 Zbl 1346.68027号 奥德·帕顿;尼尔·伊梅尔曼;阿列克桑德·卡比雪夫;奥里·拉哈夫;穆利·萨吉夫;沙龙·肖姆 三 2015 在Coq中验证局部泛型解算器。 Zbl 1306.68029号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 1 2010 普适不变量的属性定向推理或证明其缺失。 Zbl 1426.68050号 阿列克桑德·卡比雪夫;尼古拉·比约纳;沙迦·伊扎基;诺姆·里内茨基;沙龙·肖姆 4 2017 归纳不变量的可判定性。 Zbl 1347.68234号 奥德·帕顿;尼尔·伊梅尔曼;沙龙·肖姆;阿列克桑德·卡比雪夫;穆利·萨吉夫 4 2016 普适不变量的属性定向推理或证明其缺失。 Zbl 1381.68169号 A.卡比雪夫。;北卡罗来纳州比约纳。;伊扎基,S。;北卡罗来纳州里内茨基。;绍姆,S。 8 2015 分散SDN政策。 Zbl 1346.68027号 奥德·帕顿;尼尔·伊梅尔曼;阿列克桑德·卡比雪夫;奥里·拉哈夫;穆利·萨吉夫;沙龙·肖姆 三 2015 二阶泛函的单参数性。 Zbl 1260.68071号 安德烈·鲍尔;马丁·霍夫曼;阿列克桑德·卡比雪夫 4 2013 什么是纯函数? Zbl 1288.68037号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 三 2010 在Coq中验证局部泛型解算器。 Zbl 1306.68029号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 1 2010 所有引用的出版物 前5名被引用出版物 全部的 前5名被50位作者引用 4 赫尔穆特·塞德尔 三 亚历山德罗·西马蒂 三 阿尔贝托·格里乔 三 拉尔夫·福格勒 2 约塔姆·M·Y·费尔德曼。 2 帕塔萨拉西马杜苏丹 2 肯尼思·麦克米兰。 2 奥德·帕顿 2 吉安卢卡·雷登迪 2 穆利·萨吉夫 2 沙龙·肖姆 1 赛义德·阿库翁迪安·阿米里 1 卡默·阿皮尼 1 David A.Basin。 1 尼古拉·S·比约纳。 1 科恩、利隆 1 朱利安·埃哈德 1 伯恩德·芬克贝纳 1 阿斯亚·弗鲁姆金 1 普拉纳夫·加格 1 Manuel Gieseking先生 1 阿里·古芬克尔 1 赫金·哈布什,杰斯科 1 尼尔·伊梅尔曼 1 毛罗·贾斯克利奥夫 1 安大略省Lhoták 1 安德烈亚斯·洛赫比勒 1 阿恩·路德维希 1 Marcinkowski,简 1 乌芒·马图尔 1 塞尔吉奥·莫弗 1 克里斯坦·米勒 1 丹尼尔·奈德 1 罗素·奥康纳 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 Park,大军 1 丹尼斯·佩特尔 1 弗朗西斯科·兰扎托 1 安德烈·里巴尔琴科 1 Shambwaditya萨哈 1 斯特凡·施密德 1 斯特凡·舒尔泽·弗里林豪斯 1 塞菲加·雷扎 1 维奥里卡Sofrone-Stokkerman 1 斯特凡诺·托内塔 1 瓦尔莫·维尼 1 科尔·维克 1 马赫什·维斯瓦纳坦 1 马可·沃伊格特 1 维萨尔·沃达尼 全部的 前5名6篇连载文章中引用 2 自动推理杂志 2 系统设计中的形式化方法 1 密码学杂志 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 22 计算机科学(68至XX) 7 数理逻辑与基础(03-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文