编辑配置文件(在新选项卡中打开) 克里斯汀·塔森 合著者距离 作者ID: 塔松克里斯汀 发布日期: 克里斯汀·塔森 已编制索引的文档: 21出版物自2005年以来 1作为编辑的贡献 合著者: 22合著者具有21联合出版物 476位合作作者 全部的 前5名合著者 1 单作者的 5 托马斯·埃尔哈德 4 米歇尔·帕加尼 三 埃里克·古堡 三 塞缪尔·米姆拉姆 2 保罗·安德烈·梅利埃 2 雷米·诺列特 2 亚历克西斯·索林 2 尼古拉斯·塔巴雷奥 2 莱昂内尔·沃克斯 1 阿里·阿萨夫 1 理查德·布鲁特(Richard F.Blute)。 1 朱尔斯·乔奎特 1 拉斐尔·克鲁比莱 1 亚历杭德罗·迪亚斯·卡洛 1 莫里斯·赫利希。 1 海兰德·J·马丁·E·。 1 玛丽·克让 1 斯特凡·基弗 1 汉谟拉比门德斯 1 西蒙·佩德里克斯 1 城市,基督教 1 贝诺缬氨酸 全部的 前5名系列 三 MSCS公司。计算机科学中的数学结构 2 计算机科学中的逻辑方法 1 分布式计算 1 应用的分类结构 1 美国医学会杂志 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 计算机科学课堂讲稿 全部的 前5名领域 15 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 4 范畴理论;同调代数(18-XX) 2 代数拓扑(55-XX) 1 总体主题;集合(00-XX) 1 功能分析(46倍X倍) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用162中的次131文件 引用人▼ 年份▼ Isabelle/HOL中的标称技术。 Zbl 1135.68561号 城市,基督教;克里斯汀·塔森 27 2005 线性逻辑自由指数形式的显式公式。 兹比尔1248.03080 保罗·安德烈·梅利埃;尼古拉斯·塔巴雷奥;克里斯汀·塔森 21 2009 方便的差异类别。 Zbl 1281.46061号 理查德·布鲁特;托马斯·埃尔哈德;克里斯汀·塔森 20 2012 概率PCF的完全抽象。 Zbl 1426.68035号 托马斯·埃尔哈德;米歇尔·帕加尼;克里斯汀·塔森 15 2018 概率相干空间对概率PCF是完全抽象的。 Zbl 1284.68268号 托马斯·埃尔哈德;克里斯汀·塔森;米歇尔·帕加尼 15 2014 通过\(\lambda \)-项的泰勒展开,作为有限结构的强正规化。 Zbl 1476.03009号 米歇尔·帕加尼;克里斯汀·塔森;莱昂内尔·沃克斯 8 2016 拜占庭异步系统中的分布式可计算性。 Zbl 1315.68020号 汉谟拉比门德斯;克里斯汀·塔森;莫里斯·赫利希 8 2014 Call-by-value、Call-by-name和代数演算的向量行为。 Zbl 1434.68077号 阿里·阿萨夫;亚历杭德罗·迪亚斯·卡洛;西蒙·佩德里克斯;克里斯汀·塔森;贝诺缬氨酸 7 2014 按推送值进行概率调用。 Zbl 1509.68041号 托马斯·埃尔哈德;克里斯汀·塔森 6 2019 概率相干空间的自由指数形式。 Zbl 1486.03104号 拉斐尔·克鲁比莱;托马斯·埃尔哈德;米歇尔·帕加尼;克里斯汀·塔森 5 2017 线性逻辑自由指数形式的显式公式。 Zbl 1456.03102号 保罗·安德烈·梅利埃;尼古拉斯·塔巴雷奥;克里斯汀·塔森 5 2018 代数总体,走向完整。 Zbl 1246.03081号 克里斯汀·塔森 4 2009 Mackey-完备空间和幂级数-微分线性逻辑的拓扑模型。 Zbl 1456.03100号 玛丽·柯让;克里斯汀·塔森 4 2018 呼叫推送值的泰勒展开。 Zbl 07650829号 朱尔斯·乔奎特;克里斯汀·塔森 4 2020 有限结构和应用的传输。 Zbl 1456.03108号 克里斯汀·塔森;莱昂内尔·沃克斯 三 2018 PSPACE-具有最小和最大不动点的线性逻辑中循环证明的线程准则的完备性。 Zbl 1435.03088号 诺莱,雷米;亚历克西斯·索林;克里斯汀·塔森 三 2019 线性非线性代换2-单子。 Zbl 1477.18012号 马丁·海兰德;克里斯汀·塔森 三 2021 迭代的彩色细分是可折叠的。 Zbl 1344.55006号 埃里克·古堡;塞缪尔·米姆拉姆;克里斯汀·塔森 2 2015 不动点线性逻辑循环证明的局部有效性。 Zbl 1528.03246号 雷米·诺列特;亚历克西斯·索林;克里斯汀·塔森 2 2018 线性非线性代换2-单子。 Zbl 1477.18012号 马丁·海兰德;克里斯汀·塔森 三 2021 呼叫推送值的泰勒展开。 Zbl 07650829号 朱尔斯·乔奎特;克里斯汀·塔森 4 2020 按推送值进行概率调用。 Zbl 1509.68041号 托马斯·埃尔哈德;克里斯汀·塔森 6 2019 PSPACE-具有最小和最大不动点的线性逻辑中循环证明的线程准则的完备性。 Zbl 1435.03088号 雷米·诺列特;亚历克西斯·索林;克里斯汀·塔森 三 2019 概率PCF的完全抽象。 Zbl 1426.68035号 托马斯·埃尔哈德;米歇尔·帕加尼;克里斯汀·塔森 15 2018 线性逻辑自由指数形式的显式公式。 Zbl 1456.03102号 保罗·安德烈·梅利埃;尼古拉斯·塔巴雷奥;克里斯汀·塔森 5 2018 Mackey-完备空间和幂级数-微分线性逻辑的拓扑模型。 Zbl 1456.03100号 玛丽·柯让;克里斯汀·塔森 4 2018 有限结构和应用的传输。 Zbl 1456.03108号 克里斯汀·塔森;莱昂内尔·沃克斯 三 2018 不动点线性逻辑循环证明的局部有效性。 Zbl 1528.03246号 雷米·诺列特;亚历克西斯·索林;克里斯汀·塔森 2 2018 概率相干空间的自由指数形式。 Zbl 1486.03104号 拉斐尔·克鲁比莱;托马斯·埃尔哈德;米歇尔·帕加尼;克里斯汀·塔森 5 2017 通过\(\lambda \)-项的泰勒展开,作为有限结构的强正规化。 Zbl 1476.03009号 米歇尔·帕加尼;克里斯汀·塔森;莱昂内尔·沃克斯 8 2016 迭代的彩色细分是可折叠的。 Zbl 1344.55006号 埃里克·古堡;塞缪尔·米姆拉姆;克里斯汀·塔森 2 2015 概率相干空间对概率PCF是完全抽象的。 Zbl 1284.68268号 托马斯·埃尔哈德;克里斯汀·塔森;米歇尔·帕加尼 15 2014 拜占庭异步系统中的分布式可计算性。 兹比尔1315.68020 汉谟拉比门德斯;克里斯汀·塔森;莫里斯·赫利希 8 2014 Call-by-value、Call-by-name和代数演算的向量行为。 兹比尔1434.68077 阿里·阿萨夫;亚历杭德罗·迪亚斯·卡洛;西蒙·佩德里克斯;克里斯汀·塔森;贝诺缬氨酸 7 2014 方便的差异类别。 Zbl 1281.46061号 理查德·布鲁特;托马斯·埃尔哈德;克里斯汀·塔森 20 2012 线性逻辑自由指数形式的显式公式。 Zbl 1248.03080号 保罗·安德烈·梅利埃;尼古拉斯·塔巴雷奥;克里斯汀·塔森 21 2009 代数总体,走向完整。 Zbl 1246.03081号 克里斯汀·塔森 4 2009 Isabelle/HOL中的标称技术。 Zbl 1135.68561号 城市,基督教;克里斯汀·塔森 27 2005 所有引用出版物 前5名被引用出版物 全部的 前5名165位作者引用 8 Jean-Simon,Pacaud Lemay 7 乌戈·达尔拉戈 7 亚历杭德罗·迪亚斯·卡洛 7 托马斯·埃尔哈德 6 克里斯汀·塔森 5 科科特,J.罗宾B。 5 城市,基督教 4 奥克塔维奥·马勒贝 三 理查德·布鲁特(Richard F.Blute)。 三 朱尔斯·乔奎特 三 拉斐尔·克鲁比莱 三 杰弗里·S·H·克鲁特韦尔。 三 Jean-Simon P.勒梅。 三 达米亚诺·马扎 三 保罗·安德烈·梅利埃 三 塞尔吉奥·拉杰斯鲍姆 三 诺拉·萨兹 三 尼古拉斯·塔巴雷奥 三 阿尔瓦罗·塔西斯特罗 三 莱昂内尔·沃克斯-奥克莱 2 Dan Alistarh 2 巴勃罗·阿里吉 2 斯特凡·伯格霍费尔 2 弗拉维恩·布鲁瓦特 2 安东尼奥·布恰雷利 2 埃内斯托·科佩罗 2 Gilles Dowek 2 埃伦·费思 2 克劳迪娅·法根 2 安德鲁·加塞克 2 洛伦佐·盖里 2 朱利奥·格雷里 2 莫里斯·赫利希。 2 阿加提·埃尔鲁 2 Cezary卡利西克 2 玛丽·柯让 2 迪莉娅·凯斯纳 2 詹姆斯·D·莱尔德。 2 吉姆·莱尔德 2 玛丽娜·莱妮莎 2 朱利奥·曼佐内托 2 盖·安德鲁·麦库斯克 2 米勒,戴尔·艾伦 2 丹尼尔·穆费特 2 米歇尔·帕加尼 2 弗兰克·芬宁 2 亚历杭德罗·雷奥斯 2 乔尔·里比奇 2 谢尔盖·斯拉夫诺夫 2 贝诺缬氨酸 2 莱昂内尔·沃克斯 2 安德烈斯·维索 1 萨姆森·艾布拉姆斯基 1 克劳斯·埃利格 1 阿夫沙里语、巴哈雷语 1 阿尔维斯,桑德拉 1 Åman Pohjola,约翰内斯 1 马克·巴格诺尔 1 亨德里克·彼得·巴伦德雷格特 1 马丁·伯杰(Martin J.Berger)。 1 大卫·伯恩哈德 1 约翰·博格斯特罗姆 1 波夫,安娜 1 马蒂亚斯·布伦 1 阿曼多·卡斯塔涅达 1 雷米·塞尔达 1 彼得·查普曼 1 马丁·丘吉尔 1 皮埃尔·奇维特 1 詹姆斯·克利夫 1 科恩、利隆 1 尤恩·达布罗夫斯基 1 达斯,安库什 1 达斯,阿努帕姆 1 短划线,Swaraj 1 佩德罗·阿泽夫多·德·阿莫林 1 丹尼尔·德·卡瓦略 1 德拉赫尚、法扎内赫 1 亨利·德扬 1 哈罗德·潘乔·艾略特 1 约尔格恩德鲁利斯 1 艾米·费尔蒂(Amy P.Felty)。 1 玛丽贝尔·费尔南德斯 1 马克·费希林 1 马里奥弗洛里多 1 西蒙·福斯特 1 皮埃尔·弗拉吉奥德 1 默多克·詹姆斯·加贝 1 理查德·加纳 1 塞斯·吉尔伯特 1 让·古鲍特·拉雷克 1 埃里克·古堡 1 查尔斯·格雷洛伊斯 1 拉希德·格拉乌伊 1 弗洛里安·哈夫特曼 1 滨野正弘 1 Helle Hvid Hansen先生 1 卢多维奇·亨利奥 1 安德烈·赫肖维茨 1 汤姆·赫肖维茨 …以及65多位作者 全部的 前5名16篇连载文章中引用 20 计算机科学中的逻辑方法 17 MSCS公司。计算机科学中的数学结构 7 自动推理杂志 5 理论计算机科学 5 应用的分类结构 4 信息与计算 三 范畴的理论与应用 2 纯粹与应用代数杂志 2 纯逻辑与应用逻辑年鉴 2 程序设计中的逻辑和代数方法杂志 1 分布式计算 1 计算系统理论 1 高阶和符号计算 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 RAIRO公司。理论信息学及其应用 1 应用与计算拓扑杂志 全部的 前5名17个领域引用 94 计算机科学(68至XX) 72 数学逻辑和基础(03-XX) 31 范畴理论;同调代数(18-XX) 7 量子理论(81-XX) 三 结合环与代数(16-XX) 2 功能分析(46倍X倍) 2 代数拓扑(55-XX) 2 数值分析(65-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 场论和多项式(12-XX) 1 几何图形(51至XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 1 概率论与随机过程(60-XX) 按年份列出的引文