阿米尔·本·阿姆拉姆。;克里斯蒂安森，拉尔斯;雅各布·格鲁·西蒙森 关于实数的表示和这种表示之间转换的计算复杂性。 arXiv:2304.07227 预印本，arXiv:2304.07227[math.LO]（2023）。理学硕士：03D78号 BibTeX公司 引用 \textit{A.M.Ben-Amram}等人，“关于实数的表示和这种表示之间转换的计算复杂性”，预打印，arXiv:2304.07227[math.LO]（2023） 全文： arXiv公司 OA许可证
克里斯蒂安森，拉尔斯;穆尔瓦纳什亚卡，朱维纳尔 有界量词的一阶串联理论。 （英语） Zbl 1498.03021号 架构（architecture）。数学。逻辑 60，编号1-2，77-104（2021）.理学硕士：03B10号机组 03年2月25日 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}和\textit{J.Murwanashaka}，Arch。数学。逻辑60，编号1--2，77-104（2021；Zbl 1498.03021） 全文： 内政部 arXiv公司 OA许可证
伊万·乔治耶夫;克里斯蒂安森，拉尔斯;弗兰克·斯蒂芬 具有惊人复杂性的可计算无理数。 （英语） Zbl 1481.03041号 Ann.纯粹应用。逻辑 172，第2号，文章ID 102893，30页（2021）. 审核人：马蒂奥·比安切蒂（圣母院） 理学硕士：03D78号 03D20日 03层60 2015年3月15日 PDF格式BibTeX公司 XML格式引用 \textit{I.Georgiev}等人，Ann.Pure Appl。逻辑172，第2号，文章ID 102893，30页（2021；Zbl 1481.03041） 全文： 内政部 链接
克里斯蒂安森，拉尔斯 无理数的次递归表示。二、。 （英语） Zbl 1450.03008号 可计算性 8，第1号，43-65（2019）. 审核人：丹尼尔·格拉萨（法罗） 理学硕士：03D78号 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，可计算性8，No.1，43-65（2019；Zbl 1450.03008） 全文： 内政部
克里斯蒂安森，拉尔斯;尤文纳尔·穆瓦纳希亚卡 一阶串联理论的可判定和不可判定片段。 （英语） Zbl 1509.03094号 Manea，Florin（编辑）等人，《计算世界中的航海路线》。2018年7月30日至8月3日在德国基尔举行的第14届欧洲可计算性会议，CiE 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10936, 244-253 (2018).理学硕士：03C07号机组 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}和\textit{J.Murwanashaka}，莱克特。注释计算。科学。10936244--253（2018年；Zbl 1509.03094） 全文： 内政部 arXiv公司 链接
伊万·乔治耶夫;克里斯蒂安森，拉尔斯;弗兰克·斯蒂芬 无理数的一般和逼近。 （英语） Zbl 1509.03137号 Manea，Florin（编辑）等人，《计算世界中的航海路线》。2018年7月30日至8月3日在德国基尔举行的第14届欧洲可计算性会议，CiE 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10936, 194-203 (2018).理学硕士：03D78号 PDF格式BibTeX公司 XML格式引用 \textit{I.Georgiev}等人，Lect。注释计算。科学。10936，194--203（2018；Zbl 1509.03137） 全文： 内政部 链接
伊万·乔治耶夫;克里斯蒂安森，拉尔斯;弗兰克·斯蒂芬 无理数的可变基和次递归逼近。 arXiv:1804.05330 预印本，arXiv:1804.05330[math.LO]（2018）。理学硕士：2015年3月15日 03D20日 03层60 BibTeX公司 引用 \textit{I.Georgiev}等人，“基于可变基和的无理数的次递归近似”，预打印，arXiv:1804.05330[math.LO]（2018） 全文： arXiv公司 OA许可证
克里斯蒂安森，拉尔斯 关于无理数的次递归表示。 （英语） Zbl 1423.03156号 可计算性 6，第3期，249-276（2017）.理学硕士：03D78号 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，可计算性6，No.3，249--276（2017；Zbl 1423.03156） 全文： 内政部
克里斯蒂安森，拉尔斯;Bedeho Mesghina Wolde门德 哥德尔系统中的非确定性。 （英语） Zbl 1271.03049号 理论计算。系统。 51，第1期，85-105（2012）.理学硕士：03B70号 03B40型 2015年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}和\textit{B.M.W.Mender}，理论计算。系统。51，第1号，85--105（2012；Zbl 1271.03049） 全文： 内政部
克里斯蒂安森，拉尔斯 总算法的程度与诚实函数的程度。 （英语） Zbl 1358.03052号 Cooper，S.Barry（编辑）等人，《世界如何计算》。2012年6月18日至23日在英国剑桥举行的图灵一百周年会议和第八届欧洲可计算性会议（CiE 2012）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-30869-7/pbk）。计算机科学课堂讲稿7318，422-431（2012）。理学硕士：03D20日 03D28号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，莱克特。注释计算。科学。7318、422--431（2012；Zbl 1358.03052） 全文： 内政部
克里斯蒂安森，拉尔斯 更高类型、有限域和资源边界图灵机。 （英语） Zbl 1255.68052号 J.日志。计算。 第2281-304号第22页（2012年）. 审核人：丹尼尔·蒙迪奇（费伦泽） 理学硕士：68甲18 03D65年 05年6月 2005年第68季度 2015年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}、J.Log。计算。22，第2号，281--304（2012；Zbl 1255.68052） 全文： 内政部 链接
克里斯蒂安森，拉尔斯;施拉盖·普赫塔（Schlage-Puchta，Jan-Chritoph）;安德烈亚斯·魏尔曼 流线型次递归度理论。 （英语） Zbl 1245.03063号 Ann.纯粹应用。逻辑 163，第6号，698-716（2012）. 审核人：罗曼·穆拉夫斯基（波兹南） 理学硕士：03D20日 03日30分 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}等人，Ann.Pure Appl。逻辑163，No.6，698--716（2012；Zbl 1245.03063） 全文： 内政部
尼尔·D·琼斯。;克里斯蒂安森，拉尔斯 用于复杂性分析的\（mwp \）-界的流演算。 （英语） Zbl 1351.68075号 ACM事务处理。计算。日志。 第10号第4条第28条第41页（2009年）.理学硕士：68号30 03B70号 2015年3月15日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.D.Jones}和\textit{L.Kristiansen}，ACM Trans。计算。日志。10，第4号，第28条，41页（2009年；Zbl 1351.68075） 全文： 内政部
克里斯蒂安森，拉尔斯 哥德尔（T）片段诱导的复杂性理论层次。 （英语） 兹伯利1166.03018 理论计算。系统。 43，编号3-4，516-541（2008）.理学硕士：03D20日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，理论计算。系统。43，编号3--4，516--541（2008；Zbl 1166.03018） 全文： 内政部
克里斯蒂安森，拉尔斯 更高类型和资源有限的图灵机中的递归。 （英语） Zbl 1142.03359号 Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028336-348（2008）。理学硕士：03D65年 03日第10天 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，莱克特。注释计算。科学。5028336--348（2008年；Zbl 1142.03359） 全文： 内政部
克里斯蒂安森，拉尔斯;沃达，Paul J。 迂回度的结构。 （英语） Zbl 1140.03312号 Agrawal，Manindra（编辑）等人，《计算模型的理论和应用》。2008年4月25日至29日，第五届国际会议，TAMC 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79227-7/pbk）。计算机科学课堂讲稿4978，148-159（2008）。理学硕士：03D20日 03日30分 2015年3月15日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}和\textit{P.J.Voda}，莱克特。注释计算。科学。4978、148--159（2008年；Zbl 1140.03312） 全文： 内政部
克里斯蒂安森，拉尔斯;沃达，Paul J。 哥德尔T的权衡定理和片段。 （英语） 兹比尔1178.68277 蔡金毅（主编）等，计算模型的理论与应用。第三届国际会议，TAMC 2006，中国北京，2006年5月15日至20日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34021-1/pbk）。《计算机科学讲义》39595654-674（2006）。理学硕士：2015年第68季度 03B70号 2015年3月15日 03D65年 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}和\textit{P.J.Voda}，莱克特。注释计算。科学。3959、654--674（2006年；Zbl 1178.68277） 全文： 内政部
克里斯蒂安森，拉尔斯 复杂性理论层次。 （英语） Zbl 1145.03320号 Beckmann，Arnold（编辑）等人，《计算障碍的逻辑方法》。2006年6月30日至7月5日在英国斯旺西举行的第二届欧洲可计算性会议，CiE 2006。诉讼程序。柏林：施普林格出版社（ISBN 3-540-35466-2/pbk）。计算机科学讲义3988279-288（2006）。理学硕士：03D20日 2015年3月15日 2015年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，莱克特。注释计算。科学。3988、279--288（2006年；Zbl 1145.03320） 全文： 内政部
克里斯蒂安森，拉尔斯 可数的和可数的。 （挪威语。英文摘要） Zbl 1105.03050号 诺马特 53，第3期，118-129（2005）.理学硕士：03E50型 03-01 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，Normat 53，No.3，118--129（2005；Zbl 1105.03050）
克里斯蒂安森，拉尔斯;尼尔·D·琼斯。 数据流和算法的复杂性。 （英语） Zbl 1115.68052号 Cooper，S.Barry（编辑）等人，《新计算范式》。欧洲可计算性第一次会议，2005年6月8日至12日，荷兰阿姆斯特丹，CiE 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26179-6/pbk）。《计算机科学讲义》3526263-274（2005）。理学硕士：68号30 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Kristiansen｝和\textit｛N.D.Jones｝，Lect。注释计算。科学。3526、263--274（2005；Zbl 1115.68052） 全文： 内政部
克里斯蒂安森，拉尔斯;马蒂亚斯·巴拉 小Grzegorczyk类和类型化的\（\lambda\）-演算。 （英语） Zbl 1118.03030号 Cooper，S.Barry（编辑）等人，《新计算范式》。欧洲可计算性第一次会议，2005年6月8日至12日，荷兰阿姆斯特丹，CiE 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26179-6/pbk）。计算机科学课堂讲稿3526，252-262（2005）。理学硕士：03D20日 03B40型 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}和\textit{M.Barra}，莱克特。注释计算。科学。3526、252--262（2005；Zbl 1118.03030） 全文： 内政部
克里斯蒂安森，拉尔斯 LOGSPACE和LINSPACE的简洁函数代数特征。 （英语） Zbl 1161.68477号 计算。复杂性 14，第1期，72-88（2005）.理学硕士：2015年第68季度 2005年第68季度 03日第10天 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，计算。复杂性14，No.1，72--88（2005；Zbl 1161.68477） 全文： 内政部
克里斯蒂安森，L。;尼格尔，K.-H。 命令式编程语言的计算复杂性。 （英语） Zbl 1048.03030号 西奥。计算。科学。 318，编号1-2，139-161（2004）.理学硕士：03日第10天 2015年3月15日 03D20日 2015年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛L.Kristiansen｝和\textit｛K.H.Niggl｝，Theor。计算。科学。318，编号1--2，139-161（2004；Zbl 1048.03030） 全文： 内政部
克里斯蒂安森，拉尔斯;保罗·J·沃达。 受限程序和哥德尔函数的惊人威力。 （英语） Zbl 1116.68395号 Baaz，Matthias（编辑）等人，《计算机科学逻辑》。2003年8月25日至30日，第17届CSL国际研讨会，第12届EACSL年会，KGC 2003年第8届库尔特·哥德尔学术讨论会，奥地利维也纳。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40801-0/pbk）。莱克特。注释计算。科学。2803, 345-358 (2003).理学硕士：68号30 2015年第68季度 03D65年 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}和\textit{P.J.Voda}，莱克特。注释计算。科学。2803、345--358（2003年；Zbl 1116.68395） 全文： 内政部
克里斯蒂安森，拉尔斯 Peano算法的次递归度和片段。 （英语） Zbl 0982.03022号 架构（architecture）。数学。逻辑 40，第5期，365-397（2001）. 审核人：罗曼·穆拉夫斯基（波兹南） 理学硕士：03D20日 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，拱门。数学。逻辑40，No.5，365--397（2001；Zbl 0982.03022） 全文： 内政部
克里斯蒂安森，拉尔斯 低次递归度、高次递归度和中等次递归度。 （英语） 兹伯利0973.03059 Calude，C.S.（编辑）等人，《组合数学、计算与逻辑》。DMTCS’99和CATS’99会议记录。新西兰奥克兰，1999年1月18日至21日。新加坡：斯普林格。澳大利亚。计算。科学。Commun公司。21, 3, 286-300 (1999). 审核人：Marat M.Arslanov（喀山） 理学硕士：03日30分 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，in：组合数学、计算与逻辑。DMTCS’99和CATS’99会议记录。新西兰奥克兰，1999年1月18日至21日。新加坡：斯普林格。286--300（1999；Zbl 0973.03059）
克里斯蒂安森，拉尔斯 图灵定理和论文的神话。 （挪威语。英文摘要） Zbl 0913.03045号 诺马特 46，第2期，76-87（1998年）.理学硕士：03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，Normat 46，No.2，76--87（1998；Zbl 0913.03045）
克里斯蒂安森，拉尔斯 诚实次递归度上的跳转运算符。 （英语） Zbl 0899.03031号 架构（architecture）。数学。逻辑 37，第2期，第105-125页（1998年）. 审核人：L.Kristiansen（奥斯陆） 理学硕士：03日30分 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，拱门。数学。逻辑37，No.2，105--125（1998；Zbl 0899.03031） 全文： 内政部
克里斯蒂安森，拉尔斯 递归集的信息内容和计算复杂性。 （英语） Zbl 0866.03022号 Hájek，Petr（编辑），哥德尔’96。数学、计算机科学和物理的逻辑基础——库尔特·哥德尔的遗产。会议记录，布尔诺，捷克共和国，1996年8月。柏林：Springer-Verlag。莱克特。备注日志。6, 235-246 (1996). 审核人：W.Merkle（海德堡） 理学硕士：2015年3月15日 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}，莱克特。注释日志。6、235--246（1996；Zbl 0866.03022）