编辑配置文件(在新选项卡中打开) 安德鲁·凯夫 合著者距离 作者ID: 警告.安德鲁 发布方式: 安德鲁·凯夫 已编制索引的文档: 5出版物自2012年起 合著者: 4位合著者具有5联合出版物 138位合作作者 合著者 0 单作者的 5 碧姬·品特卡 1 弗朗西斯科·费雷拉。 1 帕南加登,普拉卡什 1 大卫·希伯多 系列 1 骨髓间充质干细胞。计算机科学中的数学结构 领域 5 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用31中的次21文件 引用人▼ 年份▼ 使用活页夹和索引数据类型进行编程。 Zbl 1321.68141号 安德鲁·凯夫;碧姬·品特卡 9 2012 归纳白鲸:编程证明。 Zbl 1465.68294号 碧姬·品特卡;安德鲁·凯夫 7 2015 索引的代码数据类型。 Zbl 1360.68342号 大卫·希伯多;安德鲁·凯夫;碧姬·品特卡 6 2016 公平的反应式编程。 Zbl 1284.68127号 安德鲁·凯夫;费雷拉,弗朗西斯科;帕南加登,普拉卡什;碧姬·品特卡 6 2014 用逻辑关系机械化证明——克里普克式。 Zbl 1400.68193号 安德鲁·凯夫;碧姬·品特卡 三 2018 用逻辑关系机械化证明——克里普克式。 Zbl 1400.68193号 安德鲁·凯夫;碧姬·品特卡 三 2018 索引的代码数据类型。 兹比尔1360.68342 大卫·希伯多;安德鲁·凯夫;碧姬·品特卡 6 2016 归纳白鲸:编程证明。 Zbl 1465.68294号 碧姬·品特卡;安德鲁·凯夫 7 2015 公平的反应式编程。 Zbl 1284.68127号 安德鲁·凯夫;弗朗西斯科·费雷拉;帕南加登,普拉卡什;碧姬·品特卡 6 2014 使用活页夹和索引数据类型进行编程。 Zbl 1321.68141号 安德鲁·凯夫;碧姬·品特卡 9 2012 所有引用出版物 前5名被引用出版物 全部的 前5名45位作者引用 10 碧姬·品特卡 三 阿尔贝托·莫米利亚诺 2 安德烈亚斯·阿贝尔(Andreas M.Abel)。 2 保拉·加布里埃拉·塞维利 2 大卫·希伯多 1 丹尼尔·艾哈曼 1 纪尧姆·阿拉伊斯 1 帕特里克·巴尔 1 贾斯敏·克里斯蒂安·布兰切特 1 艾默里·布齐 1 凯夫,安德鲁 1 杰斯珀·考克斯 1 德里克·德雷尔(Derek R.Dreyer)。 1 雅各布·埃林顿 1 艾米·费尔蒂(Amy P.Felty)。 1 费雷拉,Francisco H.G。 1 艾娜·林·乔治斯 1 克里斯蒂安·乌尔达尔 1 阿丽亚·哈米尔 1 花冈、果一郎 1 吉勒姆·贾伯 1 罗汉·雅各布·劳 1 张俊英 1 Jonas Pilgaard凯撒 1 福崎北川 1 内尔·克里希纳斯瓦米 1 尼拉坎坦·R·克里希纳斯瓦米。 1 安德烈亚斯·洛赫比勒 1 高弘松田 1 朱利叶斯·迈克利斯 1 阿加塔·穆拉夫斯卡 1 阿列克桑达尔·纳内夫斯基 1 托比亚斯·尼普科 1 肖恩·奥蒂斯 1 安德烈·波佩斯库 1 科林·里巴 1 史蒂文·施费尔 1 乌尔里希·舍普 1 格特·斯莫尔卡 1 凯瑟琳·斯塔克 1 Dmitrij,Szamozvancev 1 田中庆介 1 德米特里·特拉泰尔 1 维克托·瓦菲亚迪斯 1 贝塔·齐利安尼 4篇连载文章中引用 4 函数编程杂志 1 自动推理杂志 1 骨髓间充质干细胞。计算机科学中的数学结构 1 计算机科学中的逻辑方法 在3个字段中引用 18 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文