编辑配置文件(在新选项卡中打开) 克里斯蒂安·斯托夫林 合著者距离 作者ID: 斯托林.克里斯蒂安 发布日期: 克里斯蒂安·斯托夫林 外部链接: MGP公司 已编制索引的文档: 14出版物自2006年起 合著者: 11位合著者具有12联合出版物 222名Co-Co作者 全部的 前5名合著者 2 单作者的 8 拉尔斯·比克达尔 5 雅各布·塔姆斯堡 4 施温哈默,Jan 2 瑟伦·拉森。 2 罗伊斯,伯恩哈德 2 杨红seok 1 别尔纳卡,马乌戈扎塔 1 奥利维尔·丹维 1 安德烈·菲林斯基 1 莫格尔贝里,拉斯穆斯·埃杰勒斯 1 弗朗索瓦·波蒂埃 系列 2 MSCS公司。计算机科学中的数学结构 2 计算机科学中的逻辑方法 1 理论计算机科学 1 北欧计算机杂志 1 逻辑与代数程序设计杂志 领域 12 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 1 一般拓扑结构(54至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用100次中的次84文件 引用人▼ 年份▼ 合成保护域理论的第一步:树拓扑的阶跃诱导。 Zbl 1269.03035号 拉尔斯·比克达尔;莫格尔贝里,拉斯穆斯·埃杰勒斯;施温哈默,Jan;克里斯蒂安·斯托夫林 37 2012 递归世界上的阶跃Kripke模型。 Zbl 1284.68102号 拉尔斯·比克达尔;罗伊斯,伯恩哈德;施温哈默,Jan;克里斯蒂安·斯托夫林;雅各布·塔姆斯堡;杨红seok 11 2011 参数多态性、通用引用和递归类型的可实现性语义。 兹比尔1209.68122 拉尔斯·比克达尔;克里斯蒂安·斯托夫林;雅各布·塔姆斯堡 9 2010 递归度量空间方程的分类理论解。 Zbl 1205.68216号 拉尔斯·比克达尔;克里斯蒂安·斯托夫林;雅各布·塔姆斯堡 9 2010 参数多态性、通用引用和递归类型的可实现性语义。 Zbl 1234.68052号 拉尔斯·比克达尔;克里斯蒂安·斯托夫林;雅各布·塔姆斯堡 8 2009 用猜想对扩展lambda演算是保守的。 Zbl 1126.03019号 克里斯蒂安·斯托夫林 7 2006 关于顺序控制和状态的完整的共归纳句法理论。 Zbl 1295.68093号 克里斯蒂安·斯托夫林;索伦·拉森(Soren B.Lassen)。 7 2007 关于有效数据类型的归纳推理。 Zbl 1291.68143号 安德烈·菲林斯基;克里斯蒂安·斯托夫林 6 2007 顺序控制和状态的完整的共归纳句法理论。 Zbl 1253.68083号 克里斯蒂安·斯托夫林;索伦·拉森(Soren B.Lassen)。 3 2009 从弱头归一化证明中提取程序。 Zbl 1273.03098号 别尔纳卡,马乌戈扎塔;奥利维尔·丹维;克里斯蒂安·斯托夫林 2 2006 高阶beta与长beta-eta范式解的匹配。 Zbl 1122.03009号 克里斯蒂安·斯托夫林 1 2006 合成保护域理论的第一步:树拓扑的阶跃诱导。 Zbl 1269.03035号 拉尔斯·比克达尔;莫格尔贝里,拉斯穆斯·埃杰勒斯;施温哈默,Jan;克里斯蒂安·斯托夫林 37 2012 递归世界上的阶跃Kripke模型。 Zbl 1284.68102号 拉尔斯·比克达尔;罗伊斯,伯恩哈德;施温哈默,Jan;克里斯蒂安·斯托夫林;雅各布·塔姆斯堡;杨红seok 11 2011 参数多态性、通用引用和递归类型的可实现性语义。 Zbl 1209.68122号 拉尔斯·比克达尔;克里斯蒂安·斯托夫林;雅各布·塔姆斯堡 9 2010 递归度量空间方程的分类理论解。 Zbl 1205.68216号 拉尔斯·比克达尔;克里斯蒂安·斯托夫林;雅各布·塔姆斯堡 9 2010 参数多态性、通用引用和递归类型的可实现语义。 Zbl 1234.68052号 拉尔斯·比克达尔;克里斯蒂安·斯托夫林;雅各布·塔姆斯堡 8 2009 顺序控制和状态的完整的共归纳句法理论。 Zbl 1253.68083号 克里斯蒂安·斯托夫林;索伦·拉森(Soren B.Lassen)。 3 2009 顺序控制和状态的完整的共归纳句法理论。 Zbl 1295.68093号 克里斯蒂安·斯托夫林;索伦·拉森(Soren B.Lassen)。 7 2007 关于有效数据类型的归纳推理。 Zbl 1291.68143号 安德烈·菲林斯基;克里斯蒂安·斯托夫林 6 2007 用猜想对扩展lambda演算是保守的。 兹伯利1126.03019 克里斯蒂安·斯托夫林 7 2006 从弱头归一化证明中提取程序。 Zbl 1273.03098号 别尔纳卡,马乌戈扎塔;奥利维尔·丹维;克里斯蒂安·斯托夫林 2 2006 高阶beta与长beta-eta范式解的匹配。 Zbl 1122.03009号 克里斯蒂安·斯托夫林 1 2006 所有引用出版物 前5名被引用出版物 全部的 前5名107位作者引用 20 拉尔斯·比克达尔 8 阿列舍·比兹亚克 8 莫格尔贝里,拉斯穆斯·埃杰勒斯 5 克里斯蒂安·斯托夫林 4 Dariusz Biernacki 4 拉纳德·A·克鲁斯顿。 4 吉勒姆·贾伯 4 罗伊斯,伯恩哈德 4 雅各布·塔姆斯堡 3 杰斯珀·本特森 3 汉斯·布格·格雷斯沃尔 3 朗格莱,塞尔盖伊 3 塔德乌兹·利塔克 3 巴赛尔·曼纳 3 马尔科·帕维奥蒂 3 马西耶·皮罗格 3 菲利普·西奇科夫斯基 3 理查德·斯塔特曼 2 安德鲁·W·阿佩尔。 2 纳撒尼尔·查尔顿 2 多米尼克·德夫里塞 2 迪亚斯·卡罗,亚历杭德罗 2 杰里米·吉本斯 2 阿德里安·瓜托 2 丹尼尔·赫希科夫 2 拉尔夫·荣格 2 胜本,Shin-ya 2 卡夫沃斯,G.A。 2 克雷伯斯,罗伯特 2 乔治·梅特卡夫 2 安德烈亚斯·努伊茨 2 彼得·波列修克 2 弗朗索瓦·波蒂埃 2 科林·里巴 2 西蒙·桑斯基 2 施温哈默,Jan 2 保拉·加布里埃拉·塞维利 2 溅出物,Bas 2 埃希罗·苏米 2 卡斯珀·斯文森 2 范古尔,塞缪尔·雅各布 2 尼科洛Veltri 2 杨红seok 1 贝尼亚米·阿卡托利 1 罗伯特·艾奇 1 帕特里克·巴尔 1 海宁·巴索尔德 1 别尔纳卡,马乌戈扎塔 1 布鲁内尔,阿洛伊斯 1 亚历山大·布伊斯 1 蔡洪旭 1 曹勤祥 1 乔里斯·塞勒曼斯 1 圣地亚哥库埃拉 1 库卡斯·扎伊卡 1 罗伯特·多金斯 1 Gilles Dowek 1 德里克·德雷尔(Derek R.Dreyer)。 1 阿德里安·杜里埃 1 伯特伦·费尔根豪尔 1 冯新余 1 马尔科·加博阿迪 1 谢尔盖·冈查洛夫 1 丹尼尔·格拉泽 1 克里斯蒂安·乌尔达尔·格劳伦德 1 罗伯特·哈珀 1 阿奎那·霍伯 1 本·霍斯福尔 1 巴特·雅各布斯 1 沃尔夫冈·杰利奇 1 Jonas Braband Jensen 1 帕特里夏·约翰 1 雅克·亨利·乔尔丹 1 乔纳斯·卡斯伯格·辛里奇森 1 亚当·科普洛夫斯基 1 内尔·克里希纳斯瓦米 1 瑟伦·拉森。 1 保罗·布莱恩·利维 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 马西莫·梅罗 1 安德烈·穆拉夫斯基。 1 朱利安·纳格尔 1 亚历山大·纳涅夫斯基 1 新,Max S。 1 安德鲁·皮特斯(Andrew M.Pitts)。 1 米里亚姆·波尔泽 1 普雷贝特,英格朗 1 乌尔里希·拉宾斯坦 1 克里斯托夫·劳赫 1 托拜厄斯·莱因哈德 1 戴维·桑吉奥吉 1 佐藤,铁杉 1 卢茨·施罗德 1 邵,钟 1 Lau Skorstengaard 1 乔纳森·斯特林 1 科林·斯特林 1 Dmitrij,Szamozvancev 1 谭刚 1 约瑟夫·塔萨罗蒂 …还有7位作者 全部的 前5名14篇连载文章中引用 11 计算机科学中的逻辑方法 6 理论计算机科学 6 MSCS公司。计算机科学中的数学结构 5 函数编程杂志 2 信息与计算 2 自动推理杂志 1 信息学报 1 计算机与系统科学杂志 1 新一代计算 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 71 计算机科学(68至XX) 51 数学逻辑和基础(03-XX) 16 范畴理论;同调代数(18-XX) 1 代数拓扑(55-XX) 按年份列出的引文