编辑配置文件(在新选项卡中打开) 克里斯蒂安森,拉尔斯 合著者距离 作者ID: 克里斯汀·拉尔斯 发布日期: 克里斯蒂安森,拉尔斯 已编制索引的文档: 42出版物自1996年以来,包括4个附加arXiv预打印 合著者: 14合著者具有24联合出版物 188位合著者 全部的 前5名合著者 16 单作者的 5 沃达,Paul J。 4 尤文纳尔·穆瓦纳希亚卡 三 阿米尔·本·阿姆拉姆。 三 伊万·乔治耶夫 三 尼尔·D·琼斯。 2 圣奥拉夫阿安德拉 2 卡尔·海因茨·奈格尔 2 汉斯·克里斯蒂安·路德 2 雅各布·格鲁·西蒙森 1 詹姆斯·埃米尔·埃弗里 1 马蒂亚斯·巴拉 1 Bedeho Mesghina Wolde门德 1 Jean-Yves Moyen 1 施拉盖·普赫塔(Schlage-Puchta,Jan-Chritoph) 1 安德烈亚斯·魏尔曼 全部的 前5名系列 三 数学逻辑档案 2 诺马特 2 纯逻辑与应用逻辑年鉴 2 计算系统理论 2 可计算性 1 信息处理信件 1 计算数学 1 理论计算机科学 1 逻辑与计算杂志 1 国际计算机科学基础杂志 1 计算复杂性 1 北欧计算机杂志 1 ACM计算逻辑事务 全部的 前5名领域 29 数理逻辑与基础(03-XX) 23 计算机科学(68至XX) 2 数论(11-XX) 2 数值分析(65-XX) 1 阶、格、有序代数结构(06-XX) 1 代数几何(14-XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 34出版物有被引用131次54文件 引用人▼ 年份▼ 命令式编程语言的计算复杂性。 Zbl 1048.03030号 克里斯蒂安森,L。;尼格尔,K.-H。 12 2004 无理数的次递归表示。二、。 Zbl 1450.03008号 克里斯蒂安森,拉尔斯 9 2019 LOGSPACE和LINSPACE的简洁函数代数特征。 Zbl 1161.68477号 克里斯蒂安森,拉尔斯 8 2005 无理数的次递归表示。 Zbl 1423.03156号 克里斯蒂安森,拉尔斯 7 2017 诚实次递归度上的跳转运算符。 Zbl 0899.03031号 克里斯蒂安森,拉尔斯 7 1998 线性、多项式还是指数?多项式时间内的复杂性推理。 Zbl 1142.68369号 阿米尔·本·阿姆拉姆。;尼尔·D·琼斯。;克里斯蒂安森,拉尔斯 7 2008 用于复杂性分析的(mwp)-界的流演算。 Zbl 1351.68075号 尼尔·D·琼斯。;克里斯蒂安森,拉尔斯 6 2009 数据流和算法的复杂性。 Zbl 1115.68052号 克里斯蒂安森,拉尔斯;尼尔·D·琼斯。 6 2005 流线型次递归度理论。 Zbl 1245.03063号 克里斯蒂安森,拉尔斯;施拉盖·普赫塔(Schlage-Puchta,Jan-Chritoph);安德烈亚斯·魏尔曼 6 2012 小Grzegorczyk类和类型化的\(\lambda\)-演算。 Zbl 1118.03030号 克里斯蒂安森,拉尔斯;马蒂亚斯·巴拉 5 2005 复杂性理论层次。 Zbl 1145.03320号 克里斯蒂安森,拉尔斯 5 2006 受限程序和哥德尔函数的惊人威力。 兹比尔1116.68395 克里斯蒂安森,拉尔斯;沃达,Paul J。 5 2003 哥德尔(T)片段诱导的复杂性理论层次。 Zbl 1166.03018号 克里斯蒂安森,拉尔斯 5 2008 C的复杂性类和片段。 Zbl 1178.68278号 克里斯蒂安森,拉尔斯;沃达,Paul J。 5 2003 关于一些本质上不可判定的弱理论之间的可解释性。 Zbl 07633497号 克里斯蒂安森,拉尔斯;尤文纳尔·穆瓦纳希亚卡 4 2020 低次递归度、高次递归度和中等次递归度。 Zbl 0973.03059号 克里斯蒂安森,拉尔斯 4 1999 Peano算法的次递归度和片段。 Zbl 0982.03022号 克里斯蒂安森,拉尔斯 4 2001 捕获复杂性类的编程语言。 Zbl 1087.68035号 克里斯蒂安森,拉尔斯;沃达,Paul J。 4 2005 有界量词的一阶串联理论。 Zbl 1498.03021号 克里斯蒂安森,拉尔斯;尤文纳尔·穆瓦纳希亚卡 4 2021 递归集的信息内容和计算复杂性。 Zbl 0866.03022号 克里斯蒂安森,拉尔斯 三 1996 关于经典实数表示之间转换的复杂性。 Zbl 07633498号 克里斯蒂安森,拉尔斯;雅各布·格鲁·西蒙森 三 2020 哥德尔T的权衡定理和片段。 Zbl 1178.68277号 克里斯蒂安森,拉尔斯;沃达,Paul J。 三 2006 更高类型、有限域和资源边界图灵机。 Zbl 1255.68052号 克里斯蒂安森,拉尔斯 三 2012 具有惊人复杂性的可计算无理数。 Zbl 1481.03041号 伊万·乔治耶夫;克里斯蒂安森,拉尔斯;弗兰克·斯蒂芬 三 2021 无理数的一般和逼近。 Zbl 1509.03137号 伊万·乔治耶夫;克里斯蒂安森,拉尔斯;弗兰克·斯蒂芬 2 2018 一阶级联理论的可判定和不可判定片段。 Zbl 1509.03094号 克里斯蒂安森,拉尔斯;尤文纳尔·穆瓦纳希亚卡 2 2018 迂回度的结构。 Zbl 1140.03312号 克里斯蒂安森,拉尔斯;沃达,Paul J。 2 2008 总算法的程度与诚实函数的程度。 Zbl 1358.03052号 克里斯蒂安森,拉尔斯 2 2012 无理数的次递归表示:contractor和Baire序列。 Zbl 07495178号 克里斯蒂安森,拉尔斯 2 2021 在循环程序复杂性分析的可判定性边缘。 Zbl 1266.68091号 阿米尔·本·阿姆拉姆。;克里斯蒂安森,拉尔斯 2 2012 堆栈程序的Garland度量和计算复杂性。 Zbl 1261.68061号 克里斯蒂安森,L。;尼格尔,K.-H。 2 2003 更高类型和资源有限的图灵机中的递归。 兹比尔1142.03359 克里斯蒂安森,拉尔斯 1 2008 哥德尔系统中的非确定性。 Zbl 1271.03049号 克里斯蒂安森,拉尔斯;Bedeho Mesghina Wolde门德 1 2012 高阶程序的静态复杂性分析。 Zbl 1305.68052号 詹姆斯·埃弗里;克里斯蒂安森,拉尔斯;Jean-Yves Moyen 1 2010 有界量词的一阶串联理论。 Zbl 1498.03021号 克里斯蒂安森,拉尔斯;尤文纳尔·穆瓦纳希亚卡 4 2021 具有惊人复杂性的可计算无理数。 Zbl 1481.03041号 伊万·乔治耶夫;克里斯蒂安森,拉尔斯;弗兰克·斯蒂芬 三 2021 无理数的次递归表示:contractor和Baire序列。 Zbl 07495178号 克里斯蒂安森,拉尔斯 2 2021 关于一些弱的本质上不可判定的理论之间的可解释性。 Zbl 07633497号 克里斯蒂安森,拉尔斯;尤文纳尔·穆瓦纳希亚卡 4 2020 关于经典实数表示之间转换的复杂性。 Zbl 07633498号 克里斯蒂安森,拉尔斯;雅各布·格鲁·西蒙森 三 2020 无理数的次递归表示。二、。 Zbl 1450.03008号 克里斯蒂安森,拉尔斯 9 2019 无理数的一般和逼近。 Zbl 1509.03137号 伊万·乔治耶夫;克里斯蒂安森,拉尔斯;弗兰克·斯蒂芬 2 2018 一阶串联理论的可判定和不可判定片段。 Zbl 1509.03094号 克里斯蒂安森,拉尔斯;尤文纳尔·穆瓦纳希亚卡 2 2018 无理数的次递归表示。 Zbl 1423.03156号 克里斯蒂安森,拉尔斯 7 2017 流线型次递归度理论。 Zbl 1245.03063号 克里斯蒂安森,拉尔斯;施拉盖·普赫塔(Schlage-Puchta,Jan-Chritoph);安德烈亚斯·魏尔曼 6 2012 更高类型、有限域和资源边界图灵机。 Zbl 1255.68052号 克里斯蒂安森,拉尔斯 三 2012 总算法的程度与诚实函数的程度。 Zbl 1358.03052号 克里斯蒂安森,拉尔斯 2 2012 在循环程序复杂性分析的可判定性边缘。 Zbl 1266.68091号 阿米尔·本·阿姆拉姆。;克里斯蒂安森,拉尔斯 2 2012 哥德尔系统\(T\)中的非决定论。 Zbl 1271.03049号 克里斯蒂安森,拉尔斯;Bedeho Mesghina Wolde门德 1 2012 高阶程序的静态复杂性分析。 Zbl 1305.68052号 詹姆斯·埃弗里;克里斯蒂安森,拉尔斯;Jean-Yves Moyen 1 2010 用于复杂性分析的(mwp)-界的流演算。 Zbl 1351.68075号 尼尔·D·琼斯。;克里斯蒂安森,拉尔斯 6 2009 线性、多项式还是指数?多项式时间内的复杂性推理。 Zbl 1142.68369号 阿米尔·本·阿姆拉姆。;尼尔·D·琼斯。;克里斯蒂安森,拉尔斯 7 2008 哥德尔(T)片段诱导的复杂性理论层次。 Zbl 1166.03018号 克里斯蒂安森,拉尔斯 5 2008 迂回度的结构。 Zbl 1140.03312号 克里斯蒂安森,拉尔斯;沃达,Paul J。 2 2008 更高类型和资源有限的图灵机中的递归。 Zbl 1142.03359号 克里斯蒂安森,拉尔斯 1 2008 复杂性理论层次。 Zbl 1145.03320号 克里斯蒂安森,拉尔斯 5 2006 哥德尔T的权衡定理和片段。 Zbl 1178.68277号 克里斯蒂安森,拉尔斯;沃达,Paul J。 三 2006 LOGSPACE和LINSPACE的简洁函数代数特征。 兹比尔1161.68477 克里斯蒂安森,拉尔斯 8 2005 数据流和算法的复杂性。 Zbl 1115.68052号 克里斯蒂安森,拉尔斯;尼尔·D·琼斯。 6 2005 小Grzegorczyk类和类型化的\(\lambda\)-演算。 Zbl 1118.03030号 克里斯蒂安森,拉尔斯;马蒂亚斯·巴拉 5 2005 捕获复杂类的编程语言。 兹比尔1087.68035 克里斯蒂安森,拉尔斯;沃达,Paul J。 4 2005 命令式编程语言的计算复杂性。 Zbl 1048.03030号 克里斯蒂安森,L。;奈格尔,K.-H。 12 2004 受限程序和哥德尔函数的惊人威力。 Zbl 1116.68395号 克里斯蒂安森,拉尔斯;沃达,Paul J。 5 2003 C的复杂性类和片段。 Zbl 1178.68278号 克里斯蒂安森,拉尔斯;沃达,Paul J。 5 2003 Garland度量堆栈程序的计算复杂性。 Zbl 1261.68061号 克里斯蒂安森,L。;尼格尔,K.-H。 2 2003 Peano算法的次递归度和片段。 Zbl 0982.03022号 克里斯蒂安森,拉尔斯 4 2001 低次递归度、高次递归度和中等次递归度。 Zbl 0973.03059号 克里斯蒂安森,拉尔斯 4 1999 诚实次递归度上的跳转运算符。 Zbl 0899.03031号 克里斯蒂安森,拉尔斯 7 1998 递归集的信息内容和计算复杂性。 Zbl 0866.03022号 克里斯蒂安森,拉尔斯 三 1996 所有引用出版物 排名前五的出版物 全部的 前5名被60位作者引用 11 克里斯蒂安森,拉尔斯 6 尤文纳尔·穆瓦纳希亚卡 4 阿米尔·本·阿姆拉姆。 三 马蒂亚斯·巴拉 三 Jean-Yves玛丽恩 三 雅各布·格鲁·西蒙森 2 艾尔维拉·阿尔伯特 2 普里阿雷纳斯 2 兹拉坦·达姆贾诺维奇 2 萨米尔·根奈姆 2 伊万·乔治耶夫 2 杰夫·汉密尔顿。 2 丹尼尔·莱万特(Daniel M.Leivant)。 2 斯特凡诺·马赞蒂 2 罗曼·佩乔 2 德国普埃布拉 1 安德烈亚·阿斯佩蒂 1 克莱门·奥伯特 1 帕特里克·贝洛特 1 吉尔·巴特 1 列夫·贝克莱米舍夫。 1 乌尔里希·伯杰 1 纪尧姆·邦芬特 1 蔡建平 1 蔡明忠 1 安德雷斯·科登·弗朗哥 1 伊曼纽尔·科维诺 1 乌戈·达尔拉戈 1 安东·弗伦德 1 吉尔根·吉斯尔 1 法比安·吉沃斯 1 伊曼纽尔·海因里 1 广岛,凯塔 1 雅各布森,苏恩·克里斯蒂安 1 尼尔·D·琼斯。 1 莱因哈德·卡勒 1 布鲁斯·卡普伦。 1 川村,秋田 1 Evgeny A.科尔马科夫。 1 辛西娅·科普 1 格雷戈里·拉斐特 1 拉拉·马汀(Lara-Martín),弗朗西斯科·费利克斯(Francisco Felix) 1 尼尔斯·洛曼 1 约翰·朗利。 1 马美华 1 Bedeho Mesghina Wolde门德 1 Nguyán、LáThánh Dũng 1 伊莎贝尔·奥塔维姆 1 乔瓦尼·帕尼 1 皮埃尔·普拉迪奇 1 拉米亚,拉米亚 1 托马斯·鲁比亚诺 1 内亚·鲁施 1 施拉盖·普赫塔(Schlage-Puchta,Jan-Chritoph) 1 托马斯·塞勒 1 保罗·沙弗 1 安德烈亚斯·魏尔曼 1 卡罗尔·伍德 1 达米亚诺·扎纳尔迪尼 1 周,金 全部的 前5名引用于16个系列 6 纯逻辑与应用逻辑年鉴 4 数学逻辑档案 4 计算机科学中的逻辑方法 2 自动推理杂志 2 符号逻辑公报 2 计算系统理论 1 符号逻辑杂志 1 圣母院形式逻辑期刊 1 理论计算机科学 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 Godishnik na Sofiĭskiya大学“Sv.Kliment-Okhridski”。Fakultet po Matematika i Informatika公司 1 非线性动力学 1 ACM计算逻辑事务 1 符号逻辑述评 在4个字段中引用 33 数理逻辑与基础(03-XX) 33 计算机科学(68至XX) 1 常微分方程(34-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文