编辑配置文件(在新选项卡中打开) 卢卡斯·狄克逊 合著者距离 作者ID: 狄克逊·卢卡斯 发布日期: 卢卡斯·狄克逊 已编制索引的文档: 12出版物自1988年起 1名编辑贡献 合著者: 13合著者具有12联合出版物 314位合作作者 全部的 前5名合著者 0 单作者的 三 阿兰·邦迪 三 罗斯·邓肯 三 穆阿·约翰逊 2 雅克·弗莱里奥特。 2 亚历克斯·基辛格 1 大卫·阿斯皮纳尔 1 雅克·卡雷特 1 保罗·金斯帕格 1 古德蒙德·格罗夫 1 克劳迪奥·萨塞尔多蒂·科恩 1 斯梅尔,艾伦 1 Tracy Tsang 1 斯蒂芬·迈克尔·瓦特 1 伊恩·怀特塞德 全部的 前5名系列 1 数学物理中的通信 1 自动推理杂志 1 骨髓间充质干细胞。计算机科学中的数学结构 1 逻辑、语言与信息杂志 1 数学与人工智能年鉴 1 应用逻辑杂志 1 计算机科学课堂讲稿 全部的 前5名领域 12 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 三 量子理论(81-XX) 1 一般性和全局性主题;集合(00-XX) 1 非结合环与代数(17-XX) 1 群论与推广(20-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用64中的次54文件 引用人▼ 年份▼ 美女与野兽:怪物模块中的超形式对称。 Zbl 0657.17011号 狄克逊,L。;金斯帕格,P。;J.哈维。 53 1988 归纳理论的猜想综合。 Zbl 1243.68268号 穆阿·约翰逊;卢卡斯·狄克逊;阿兰·邦迪 20 2011 开放粒度和单体理论。 Zbl 1268.18002号 卢卡斯·狄克逊;亚历克斯·基辛格 11 2013 ISAPLANNER中的高阶涟漪。 Zbl 1099.68723号 卢卡斯·狄克逊;雅克·弗莱里奥特 10 2004 量子计算紧闭范畴中的图形推理。 Zbl 1191.03022号 卢卡斯·狄克逊;罗斯·邓肯 7 2009 波纹和感应防护的案例分析。 兹比尔1291.68352 穆阿·约翰逊;卢卡斯·狄克逊;阿兰·邦迪 6 2010 走向形式化证明脚本重构。 Zbl 1335.68240号 伊恩·怀特塞德;大卫·阿斯皮纳尔;卢卡斯·狄克逊;古德蒙德·格罗夫 三 2011 开放图和计算推理。 Zbl 1456.68051号 卢卡斯·狄克逊;罗斯·邓肯;亚历克斯·基辛格 三 2010 以证明为中心的数学助手方法。 Zbl 1107.68096号 卢卡斯·狄克逊;雅克·弗莱里奥特 2 2006 使用线性逻辑进行计划、行动和对话。 Zbl 1166.68357号 卢卡斯·狄克逊;斯梅尔,艾伦;Tracy Tsang 1 2009 将紧闭范畴的图形表示扩展到符号量子计算。 Zbl 1166.68343号 卢卡斯·狄克逊;罗斯·邓肯 1 2008 开放粒度和单体理论。 Zbl 1268.18002号 Dixon,Lucas卢卡斯;亚历克斯·基辛格 11 2013 归纳理论的猜想综合。 Zbl 1243.68268号 穆阿·约翰逊;卢卡斯·狄克逊;阿兰·邦迪 20 2011 面向形式验证脚本重构。 Zbl 1335.68240号 伊恩·怀特塞德;大卫·阿斯皮纳尔;卢卡斯·狄克逊;古德蒙德·格罗夫 三 2011 波纹和感应防护的案例分析。 Zbl 1291.68352号 穆阿·约翰逊;卢卡斯·狄克逊;阿兰·邦迪 6 2010 开放图和计算推理。 兹比尔1456.68051 卢卡斯·狄克逊;罗斯·邓肯;亚历克斯·基辛格 三 2010 量子计算紧闭范畴中的图形推理。 兹比尔1191.03022 卢卡斯·狄克逊;罗斯·邓肯 7 2009 使用线性逻辑进行计划、行动和对话。 Zbl 1166.68357号 卢卡斯·狄克逊;斯梅尔,艾伦;Tracy Tsang 1 2009 将紧闭范畴的图形表示扩展到符号量子计算。 Zbl 1166.68343号 卢卡斯·狄克逊;罗斯·邓肯 1 2008 以证明为中心的数学助手方法。 Zbl 1107.68096号 卢卡斯·狄克逊;雅克·弗莱里奥特 2 2006 ISAPLANNER中的高阶涟漪。 Zbl 1099.68723号 卢卡斯·狄克逊;雅克·弗莱里奥特 10 2004 美女与野兽:怪物模块中的超形式对称。 Zbl 0657.17011号 狄克逊,L。;金斯帕格,P。;J.哈维。 53 1988 所有引用出版物 前5名被引用出版物 全部的 前5名99位作者引用 7 穆阿·约翰逊 7 亚历克斯·基辛格 4 斯特凡·赫兹尔 三 阿兰·邦迪 三 科恩·克莱森 三 鲍勃·科克 三 卢卡斯·狄克逊 三 埃文·麦克林 三 尼古拉斯·斯莫尔博内 三 巴布亚州索波辛斯基 三 法比奥·扎纳西 2 菲利波·邦奇 2 罗伯托·孔瓦洛尼埃里 2 罗斯·邓肯 2 曼弗雷德·埃普 2 雅克·弗莱里奥特。 2 法比奥·加杜奇 2 古德蒙德·格罗夫 2 乔纳森·赫拉斯 2 叶卡捷琳娜·科门丹茨卡亚 2 奥利弗·库茨 2 亚历山大·莱奇 2 林玉辉 2 Enric广场 2 快点,大卫 2 吉赛尔·赖斯 2 丹·罗森 2 马尔科·舍勒默 2 安德烈·沃伦科夫 2 王全龙 2 丹尼尔·韦勒(Daniel S.Weller)。 2 弗拉基米尔·扎姆德日耶夫 1 马克西米利安·阿尔盖德 1 马林·阿尔滕米勒 1 奥曼·波霍拉,约翰内斯 1 罗布·D·阿尔森。 1 卞晓宁 1 贾斯敏·克里斯蒂安·布兰切特 1 安妮·格温·博瑟 1 雅克·卡雷特 1 马克·卡瓦扎 1 米海·Codescu 1 Courtieu,Pierre皮埃尔 1 西蒙·克鲁恩斯 1 伊曼纽尔·德·安吉利斯 1 尼尔·德·博德拉普 1 安东尼·德尔佩赫 1 穆萨·登巴 1 丹尼斯,路易斯·阿比盖尔 1 多米尼克·迪特里希 1 迪诺·迪斯特法诺 1 mnesc博士,Isabela 1 塞巴斯蒂安·埃伯哈德 1 加布里埃尔·埃布纳 1 穆纳乔·埃切宁 1 索尔伦·哈拉·埃纳尔斯多蒂尔 1 法比奥·菲奥拉万蒂 1 朱利安·福雷斯特 1 Thibault Gauthier 1 格林,伊恩 1 郭、李 1 多米尼克·霍斯曼 1 佩特拉·霍佐娃 1 沙迦·伊扎基 1 都铎Jebelean 1 姜亚青 1 塞萨里·卡利西克 1 威廉·凯格尔(William F.Keigher)。 1 直纪小林 1 科瓦奇,劳拉·伊尔迪科 1 凯乌·库恩伯格 1 Leino,K.Rustan M。 1 克里斯蒂安·梅德 1 蒂尔·莫萨科夫斯基 1 帕帕帕纳吉奥图,Petros 1 尼古拉斯·佩尔蒂埃 1 Rasmus Lerchedahl彼得森 1 阿尔贝托·佩特罗西 1 毛里齐奥·普罗埃蒂 1 贾尔斯·里格尔 1 安德鲁·雷诺兹 1 阿德里安·里斯科 1 肯尼思·罗伊 1 阿穆尔·萨布里 1 肯·萨卡约里 1 佐藤隆介 1 埃沃里斯特·舒尔茨 1 Takumi岛田 1 伊坦·辛格 1 斯梅尔,艾伦 1 罗伯特·斯佩肯斯(Robert W.Spekkens)。 1 斯特拉图拉特,索林 1 塞萨尔·蒂内利 1 贝诺缬氨酸 1 杰米·维卡里 1 扬尼克·维林 1 马卡里乌斯·温泽尔 1 保罗·W·威尔逊。 1 张世龙 全部的 前5名18篇连载文章中引用 5 自动推理杂志 2 理论计算机科学 2 纯逻辑与应用逻辑年鉴 2 符号计算杂志 2 新一代计算 1 人工智能 1 信息处理信件 1 合成 1 应用数学进展 1 计算的形式方面 1 骨髓间充质干细胞。计算机科学中的数学结构 1 函数编程杂志 1 美国计算机学会期刊 1 新物理学杂志 1 应用逻辑杂志 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 形式化推理期刊 全部的 前5名11个领域引用 48 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 8 范畴理论;同调代数(18-XX) 7 量子理论(81-XX) 2 结合环与代数(16-XX) 1 组合数学(05-XX) 1 场论和多项式(12-XX) 1 交换代数(13-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 数学教育(97-XX) 按年份列出的引文