编辑配置文件（在新选项卡中打开） 卡斯滕·舒尔曼 合著者距离 作者ID： 舒尔曼·卡斯滕 发布日期： 卡斯滕·舒尔曼;舒尔曼，C。;卡斯滕·舒尔曼 更多。。。较少的 已编制索引的文档： 33出版物自1997年起 1名编辑贡献 合著者： 24位合著者具有29联合出版物 494位合作作者 全部的 前5名合著者 5 单作者的 6 马尔科·卡博尼 6 弗兰克·芬宁 5 法布里齐奥·蒙特西 2 谢尔盖·奥特西尔 2 布洛克-南内斯塔德，陶斯 2 亚历山德罗·布鲁尼 2 Joëlle Despeyroux公司 2 罗萨里奥·朱斯托利西 2 亚当·波斯沃尔斯基 2 杰弗里·萨纳特 2 安德斯·沙克·尼尔森 2 吉田、Nobuko 1 伯恩哈德·贝克特 1 博克，彼得·布罗特维特 1 拉杰夫·普拉巴卡尔·戈尔 1 萨姆·林德利 1 安德鲁·麦克里特 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 倪兆忠 1 沙阿，贾廷 1 马克·奥利弗·斯特尔 1 Stump，亚伦 1 菲利普·李·沃德勒 1 于大川 系列 1 信息学报 1 理论计算机科学 1 分布式计算 1 理论计算机科学电子笔记 领域 29 计算机科学（68至XX） 24 数学逻辑和基础（03-XX） 1 一般性和全局性主题；集合（00-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用128次99文件 引用人▼ 年份▼ 高阶抽象语法的基本递归。 Zbl 0994.68028号 舒尔曼，C。;J·德斯佩罗。;普芬宁，F。 15 2001 编排，逻辑性。 Zbl 1423.68304号 马尔科·卡博尼;法布里齐奥·蒙特西;卡斯滕·舒尔曼 10 2018 一致性概括了二元性：多方会话类型的逻辑解释。 Zbl 1392.68286号 马尔科·卡博尼;萨姆·林德利;法布里齐奥·蒙特西;卡斯滕·舒尔曼;菲利普·瓦德勒 9 2016 LF简单元逻辑中的自动定理证明。 Zbl 0924.03024号 卡斯滕·舒尔曼;弗兰克·芬宁 8 1998 高阶抽象语法的基元递归。 Zbl 1063.03511号 Joëlle Despeyroux公司;弗兰克·芬宁;卡斯滕·舒尔曼 8 1997 一种LF覆盖检查算法。 Zbl 1279.68295号 卡斯滕·舒尔曼;弗兰克·芬宁 8 2003 元逻辑框架Twelf中HOL/Nuprl连接的可执行形式化。 Zbl 1165.68473号 卡斯滕·舒尔曼;马克·奥利弗·斯特尔 7 2006 存在符号定义时的等式和统一算法。 Zbl 0942.03014号 弗兰克·芬宁;卡斯滕·舒尔曼 6 1999 聚焦自然演绎。 Zbl 1307.03034号 布洛克-南内斯塔德，陶斯;卡斯滕·舒尔曼 6 2010 使用高阶编码和相关类型的实用编程。 Zbl 1133.68312号 亚当·波斯沃尔斯基;卡斯滕·舒尔曼 6 2008 \（\ nabla \）-微积分。使用高阶编码的函数式编程。 Zbl 1114.68030号 卡斯滕·舒尔曼;亚当·波斯沃尔斯基;杰弗里·萨纳特 6 2005 防吐温助理。 Zbl 1252.68263号 卡斯滕·舒尔曼 5 2009 编排，逻辑性。 兹比尔1417.68121 马尔科·卡博尼;法布里齐奥·蒙特西;卡斯滕·舒尔曼 5 2014 多方会话类型作为一致性证明。 Zbl 1371.68049号 马尔科·卡博尼;法布里齐奥·蒙特西;卡斯滕·舒尔曼;吉田、Nobuko 5 2017 Celf–演绎和并发系统的逻辑框架。（系统描述）。 Zbl 1165.68413号 安德斯·沙克·尼尔森;卡斯滕·舒尔曼 4 2008 元线性逻辑框架。 Zbl 1278.03061号 安德鲁·麦克里特;卡斯滕·舒尔曼 4 2007 高阶编码的递归。 Zbl 0999.03039号 卡斯滕·舒尔曼 2 2001 存在符号定义时的等式和统一算法。 Zbl 0917.68200号 弗兰克·芬宁;卡斯滕·舒尔曼 2 1998 多方会话类型作为一致性证明。 Zbl 1374.68323号 马尔科·卡博尼;法布里齐奥·蒙特西;卡斯滕·舒尔曼;吉田、Nobuko 2 2015 线性和仿射lambda演算的Curry-style显式替换。 Zbl 1291.03022号 安德斯·沙克·尼尔森;卡斯滕·舒尔曼 2 2010 通过逻辑分析计票算法。及其在CADE选举方案中的应用。 Zbl 1381.68257号 伯恩哈德·贝克特;拉杰夫·戈尔;卡斯滕·舒尔曼 2 2013 LF中的\（F_{\omega}\）表示。 兹比尔1268.68055 卡斯滕·舒尔曼;于大川;倪兆忠 2 2001 上下文逻辑框架。 兹比尔1471.03061 博克，彼得·布罗特维特;卡斯滕·舒尔曼 2 2015 识别多项式时间递归函数。 兹比尔1136.03323 卡斯滕·舒尔曼;贾廷·沙阿 1 2005 自动分析问责制。 Zbl 1498.68049号 亚历山德罗·布鲁尼;罗萨里奥·朱斯托利西;卡斯滕·舒尔曼 1 2017 编排，逻辑性。 兹比尔1423.68304 马尔科·卡博尼;法布里齐奥·蒙特西;卡斯滕·舒尔曼 10 2018 多方会话类型作为一致性证明。 Zbl 1371.68049号 马尔科·卡博尼;法布里齐奥·蒙特西;卡斯滕·舒尔曼;吉田、Nobuko 5 2017 自动分析问责制。 Zbl 1498.68049号 亚历山德罗·布鲁尼;罗萨里奥·朱斯托利西;卡斯滕·舒尔曼 1 2017 一致性概括了二元性：多方会话类型的逻辑解释。 Zbl 1392.68286号 马尔科·卡博尼;萨姆·林德利;法布里齐奥·蒙特西;卡斯滕·舒尔曼;菲利普·瓦德勒 9 2016 多方会话类型作为一致性证明。 Zbl 1374.68323号 马尔科·卡博尼;法布里齐奥·蒙特西;卡斯滕·舒尔曼;吉田、Nobuko 2 2015 上下文逻辑框架。 Zbl 1471.03061号 博克，彼得·布罗特维特;卡斯滕·舒尔曼 2 2015 编排，逻辑性。 Zbl 1417.68121号 马尔科·卡博尼;法布里齐奥·蒙特西;卡斯滕·舒尔曼 5 2014 通过逻辑分析计票算法。及其在CADE选举方案中的应用。 Zbl 1381.68257号 伯恩哈德·贝克特;拉杰夫·戈尔;卡斯滕·舒尔曼 2 2013 聚焦自然演绎。 Zbl 1307.03034号 布洛克-南内斯塔德，陶斯;卡斯滕·舒尔曼 6 2010 线性和仿射lambda演算的Curry-style显式替换。 Zbl 1291.03022号 安德斯·沙克·尼尔森;卡斯滕·舒尔曼 2 2010 防吐温助理。 Zbl 1252.68263号 卡斯滕·舒尔曼 5 2009 使用高阶编码和相关类型的实用编程。 Zbl 1133.68312号 亚当·波斯沃尔斯基;卡斯滕·舒尔曼 6 2008 Celf——演绎和并发系统的逻辑框架。（系统描述）。 Zbl 1165.68413号 安德斯·沙克·尼尔森;卡斯滕·舒尔曼 4 2008 元线性逻辑框架。 Zbl 1278.03061号 安德鲁·麦克里特;卡斯滕·舒尔曼 4 2007 元逻辑框架Twelf中HOL/Nuprl连接的可执行形式化。 Zbl 1165.68473号 卡斯滕·舒尔曼;马克·奥利弗·斯特尔 7 2006 （纳布拉）-演算。使用高阶编码的函数式编程。 Zbl 1114.68030号 卡斯滕·舒尔曼;亚当·波斯沃尔斯基;杰弗里·萨纳特 6 2005 识别多项式时间递归函数。 Zbl 1136.03323号 卡斯滕·舒尔曼;沙阿，贾廷 1 2005 一种LF覆盖检查算法。 Zbl 1279.68295号 卡斯滕·舒尔曼;弗兰克·芬宁 8 2003 高阶抽象语法的基本递归。 Zbl 0994.68028号 舒尔曼，C。;J·德斯佩罗。;普芬宁，F。 15 2001 高阶编码的递归。 Zbl 0999.03039号 卡斯滕·舒尔曼 2 2001 LF中的\（F_{\omega}\）表示。 Zbl 1268.68055号 卡斯滕·舒尔曼;于大川;倪兆忠 2 2001 在符号定义存在的情况下实现等式和统一的算法。 Zbl 0942.03014号 弗兰克·芬宁;卡斯滕·舒尔曼 6 1999 LF简单元逻辑中的自动定理证明。 Zbl 0924.03024号 卡斯滕·舒尔曼;弗兰克·芬宁 8 1998 存在符号定义时的等式和统一算法。 Zbl 0917.68200号 弗兰克·芬宁;卡斯滕·舒尔曼 2 1998 高阶抽象语法的基本递归。 Zbl 1063.03511号 Joëlle Despeyroux公司;弗兰克·芬宁;卡斯滕·舒尔曼 8 1997 所有引用出版物 前5名被引用出版物 全部的 前5名152位作者引用 8 碧姬·品特卡 7 法布里齐奥·蒙特西 7 卡斯滕·舒尔曼 6 弗兰克·芬宁 4 路易斯·克鲁兹·菲利佩 4 温·科克 4 米勒，戴尔·艾伦 三 佛朗哥·巴巴内拉 三 路易斯·凯雷斯 三 奥尔内拉·达达 三 罗伯特·哈珀 三 阿尔贝托·莫米利亚诺 三 佩雷斯（Jorge A.Pérez）。 三 弗洛里安·拉贝 三 Stump，亚伦 2 布洛克-南内斯塔德，陶斯 2 詹姆斯·布罗瑟斯顿 2 乍得·布朗·爱德华 2 马尔科·卡博尼 2 詹姆斯·切尼 2 艾米·费尔蒂（Amy P.Felty）。 2 尼古拉斯，猜猜看 2 张俊英 2 Cezary卡利西克 2 卡夫沃斯，G.A。 2 迈克尔·科尔哈斯 2 伊万·拉内斯 2 丹尼尔·李卡塔（Daniel R.Licata）。 2 Pąk，卡罗尔 2 马可·佩雷索蒂 2 安德鲁·皮特斯（Andrew M.Pitts）。 2 杰森·里德 2 西蒙斯（Robert jun Simmons）。 2 埃米利奥·托斯托 2 雷内·维斯特加德 2 贝塔·齐利安尼 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 罗宾·亚当斯 1 费德里科·阿西埃里 1 保罗·C·阿蒂。 1 大卫·巴尔德 1 布鲁诺·巴拉斯 1 马西莫·巴托莱蒂 1 弗朗西斯科·贝拉迪内利 1 Lars Birkedal公司 1 亚历山德罗·布鲁尼 1 拉斐尔·考德利埃 1 伊利亚诺·塞维萨托 1 考斯托夫·乔杜里 1 陈志波 1 蝉蜕、阿加塔 1 米海·Codescu 1 克里斯托弗·科尔比 1 罗德卡·孔杜拉克 1 皮埃尔·科尔比诺 1 卡尔·克里 1 罗伊·克罗。 1 乌戈·德利古罗 1 Joëlle Despeyroux公司 1 马里亚纽拉州Dezani-Ciancaglini 1 卡斯滕·迪霍夫 1 柯特林·迪马 1 Gilles Dowek 1 德里克·德雷尔（Derek R.Dreyer）。 1 凯瑟琳·杜布瓦 1 乔舒亚·邓菲尔德 1 安托万·埃尔·霍卡耶姆 1 雅各布·埃林顿 1 埃斯皮里托·桑托（Espírito Santo）、何塞·卡洛斯（JoséCarlos） 1 伊利耶斯·法尔科内 1 毛罗·法拉利 1 佛罗伦萨，卡米洛 1 西蒙·福勒 1 艾米·福尼丝 1 默多克·詹姆斯·加贝 1 毛里齐奥·加布里埃利 1 安德鲁·加塞克 1 让·H·盖利尔。 1 弗朗西斯科·詹科（Francesco A.Genco）。 1 艾娜·林·乔治斯 1 洛伦佐·盖里 1 萨维里奥·贾勒伦佐 1 罗萨里奥·朱斯托利西 1 丹尼尔·格拉泽 1 本杰明·格雷戈里 1 哈拉尔（Rayan Hallal） 1 罗尔夫·亨尼克 1 西尔万·赫劳德 1 雨果·赫贝林 1 Furio Honsell 1 罗斯·霍恩 1 富利亚·霍罗扎尔 1 胡杰森Z.S。 1 穆罕默德·贾伯。 1 沃伊切赫·贾姆罗加 1 杰·巴里 1 钟曼，宋世堂。 1 爱德华·坎伯扬 1 阿巴斯·哈利勒 1 Kirsten，迈克尔 …还有52位作者 全部的 前5名13篇连载文章中引用 11 自动推理杂志 7 函数编程杂志 6 理论计算机科学 6 信息与计算 5 计算机科学中的逻辑方法 5 程序设计中的逻辑和代数方法杂志 三 MSCS公司。计算机科学中的数学结构 2 高阶和符号计算 2 ACM计算逻辑事务 1 信息学报 1 符号计算杂志 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 全部的 前5名在6个字段中引用 85 计算机科学（68至XX） 54 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 范畴理论；同调代数（18-XX） 1 代数拓扑（55-XX） 按年份列出的引文