丹尼尔·利万特
人员信息
附属： 美国布卢明顿印第安纳大学
优化列表
2020年–今天
2021 
【j30】 丹尼尔·莱万特 :
Finitism、命令式程序和原始递归。 J.日志。 计算。 31 ( 1 ) : 179-192 ( 2021 ) [公元46年] 丹尼尔·利万特 :
多项式时间和空间的算法广义语言。 沃尔利克 2021 : 372-387 2020 [公元29年] 丹尼尔·利万特 , 珍妮·伊夫·马里恩 :
抽象中的原语递归。 数学。 结构。 计算。 科学。 30 ( 1 ) : 33-43 ( 2020 ) [公元45年] 丹尼尔·利万特 
:
有限性，强制程序和原始递归。 LFCS公司 2020 : 98-110
2010 – 2019
2019 [i3] 丹尼尔·莱万特 :
多项式时间的通用命令式语言。 CoRR公司 abs/1911.04026 ( 2019 ) 2018 [i2] 丹尼尔·利万特 , 珍妮·伊夫·马里恩 :
通过结构转换实现隐含复杂性。 CoRR公司 腹肌/1802.03115 ( 2018 ) [i1] 丹尼尔·利万特 :
有限结构理论。 CoRR公司 abs/1808.04949 ( 2018 ) 2017 [公元44年] 阿努杰·达瓦尔 , 丹尼尔·利万特 :
2017年阿克曼奖。 CSL公司 2017 : 1:1-1:4 2016 [公元28年] 瓦莱丽亚·德佩瓦 , 劳伦斯·S·莫斯 , 丹尼尔·利万特 , 鲁伊·J·G·B·德·奎罗斯 :
第22届逻辑、语言、信息和计算研讨会（WoLLIC 2015）。 日志。 J.IGPL公司 24 ( 5 ) : 859 ( 2016 ) 2015 [公元43年] 丹尼尔·莱万特 , 拉米亚·拉米亚 :
Ramified Corecurence的计算内容。 FoSSaCS公司 2015 : 422-435 [电子3] 瓦莱丽亚·德佩瓦 , 鲁伊·J·G·B·德·奎罗斯 , 劳伦斯·S·莫斯 , 丹尼尔·利万特 , 奥利维拉的安乔莉娜·格里西 :
逻辑、语言、信息和计算——第22届国际研讨会，WoLLIC 2015，美国印第安纳州布卢明顿，2015年7月20日至23日，会议记录。 计算机科学课堂讲稿 9160, 施普林格 2015 ，国际标准图书编号 978-3-662-47708-3 [目录] 2014 [公元27年] 丹尼尔·利万特 :
归纳和共推计算的全局语义类型。 日志。 方法计算。 科学。 10 ( 4 ) ( 2014 ) 2013 [公元26年] 丹尼尔·利万特 :
归纳语言的交替图灵机。 日志。 方法计算。 科学。 9 ( 三 ) ( 2013 ) [公元42年] 丹尼尔·利万特 :
归纳和共推计算的全局语义类型。 CSL公司 2013 : 469-483 [公元41年] 丹尼尔·利万特 , 珍妮·伊夫·马里恩 :
演化图结构及其隐含计算复杂性。 ICALP（二） 2013 : 349-360 2012 [公元40年] 丹尼尔·利万特 :
交替的图灵机和层次分析。 图灵-100 2012 : 204-213 2011 [公元39年] 丹尼尔·利万特 , 拉米亚·拉米亚 :
共导数据的隐含复杂性：共现的特征。 DICE标准 2011 : 1-14 [公元38年] 拉米亚·拉米亚 , 丹尼尔·利万特 :
Ramified Corecrrence和Logspace。 MFPS公司 2011 : 247-261 2010 [公元25年] 丹尼尔·利万特 , 鲁伊·J·G·B·德·奎罗斯 :
逻辑、语言、信息和计算。 Inf.计算。 208 ( 5 ) : 395-396 ( 2010 ) [公元37年] 拉米亚·拉米亚 , 丹尼尔·利万特 :
共归纳数据上的可行函数。 沃尔利克 2010 : 191-203
2000 – 2009
2009 [公元36年] 丹尼尔·利万特 :
论动态逻辑的完备性。 FoSSaCS公司 2009 : 78-91 2008 [公元24年] 丹尼尔·利万特 :
逻辑不确定性变得简单。 芬丹。 信息学 89 ( 2-3 ) : 307-312 ( 2008 ) [公元35年] 丹尼尔·利万特 :
程序终止的动态逻辑推理。 计算机科学支柱 2008 : 441-456 [公元34年] 丹尼尔·利万特 :
递归过程的命题动态逻辑。 VSTTE公司 2008 : 6-14 [公元33年] 丹尼尔·利万特 :
程序逻辑的归纳完整性。 LICS的LFMTP 2008 : 101-112 [公元32年] 丹尼尔·利万特 :
带有程序量词的命题动态逻辑。 MFPS公司 2008 : 231-240 2007 [电子2] 丹尼尔·利万特 , 鲁伊·J·G·B·德·奎罗斯 :
逻辑、语言、信息和计算，第14届国际研讨会，WoLLIC 2007，巴西里约热内卢，2007年7月2-5日，会议记录。 计算机科学课堂讲稿 4576, 施普林格 2007 ，国际标准图书编号 978-3-540-73443-7 [目录] 2006 [公元31年] 丹尼尔·利万特 :
程序的匹配显式推理和模态推理：动态逻辑的证明理论描述。 低收入国家 2006 : 157-168 2005 [公元30年] 丹尼尔·利万特 :
动态逻辑中可证明的部分正确性断言。 我们将向他们展示！ (2) 2005 : 209-224 2004 [公元23年] 丹尼尔·利万特 :
函数程序的内在推理Ⅱ：单极归纳和原语递归。 理论。 计算。 科学。 318 ( 1-2 ) : 181-196 ( 2004 ) [公元29年] 丹尼尔·利万特 :
动态逻辑中可证明的部分正确性断言。 FoSSaCS公司 2004 : 304-317 [公元28年] 丹尼尔·利万特 :
证明动态逻辑中的终止断言。 低收入国家 2004 : 89-98 2003 [公元22年] 阿努杰·达瓦尔 , 丹尼尔·利万特 :
嘉宾评论。 Inf.计算。 183 ( 1 ) : 1 ( 2003 ) 2002 [公元21年] 丹尼尔·莱万特 :
函数程序的内在推理I：一阶理论。 Ann.纯粹应用。 日志。 114 ( 1-3 ) : 117-153 ( 2002 ) [公元27年] 丹尼尔·利万特 :
高级函数的隐式计算复杂性。 CSL公司 2002 : 367-381 [公元26年] 丹尼尔·利万特 :
下部结构验证和计算可行性。 IFIP TCS 2002 : 498-510 [公元25年] 丹尼尔·利万特 :
通过抽象等级校准计算可行性。 低收入国家 2002 : 345- [公元24年] 丹尼尔·利万特 :
可行泛函和分支类型的交集。 ITRS公司 2002 : 149-162 2001 【c23】 丹尼尔·利万特 :
一阶抽象可证明的函数。 LPAR公司 2001 : 330-346 [公元22年] 丹尼尔·利万特 :
终止证明和复杂性证明。 节气门执行器控制系统 2001 : 183-200 2000 [公元20年] 丹尼尔·利万特 , 珍妮·伊夫·马里恩 :
通过分支递归对交替对数时间的表征。 理论。 计算。 科学。 236 ( 1-2 ) : 193-208 ( 2000 )
1990 – 1999
1999 [公元19年] 丹尼尔·利万特 :
分枝递归与计算复杂性III：高类型递归与初等复杂性。 Ann.纯粹应用。 日志。 96 ( 1-3 ) : 209-229 ( 1999 ) [公元18年] 诺曼·丹纳 , 丹尼尔·利万特 :
分层多态性和原始递归。 数学。 结构。 计算。 科学。 9 ( 4 ) : 507-522 ( 1999 ) 【c21】 丹尼尔·利万特 :
应用控制和计算复杂性。 CSL公司 1999 : 82-95 1998 [公元20年] 丹尼尔·利万特 :
用树递归描述NC。 光纤通信系统 1998 : 716-724 [第19条] 金·布鲁斯 , Phokion G.Kolaitis公司 , 丹尼尔·莱万特 , 莫舍·瓦尔迪 :
小组：计算机科学课程中的逻辑。 SIGCSE公司 1998 : 376-377 1997 [第18条] 丹尼尔·利万特 , 珍妮·伊夫·马里恩 :
预测函数递归和多空间。 TAPSOFT公司 1997 : 369-380 1995 [电子1] 丹尼尔·利万特 :
逻辑和计算复杂性。 精选论文。 逻辑和计算复杂性，LCC’94国际研讨会，美国印第安纳州印第安纳波利斯，1994年10月13日至16日。 计算机科学课堂讲稿 960, 施普林格 1995 ，国际标准图书编号 3-540-60178-3 [目录] 1994 [公元17年] 丹尼尔·利万特 :
保利时间的基础描绘。 Inf.计算。 110 ( 2 ) : 391-420 ( 1994 ) [第17条] 丹尼尔·利万特 , 珍妮·伊夫·马里恩 :
分枝递归与计算复杂性II：替换与多空间。 CSL公司 1994 : 486-500 [c16] 丹尼尔·莱万特 :
内在理论和计算复杂性。 低成本航空公司 1994 : 177-194 [c15] 丹尼尔·利万特 :
有限类型中的谓词递归。 LFCS公司 1994 : 227-239 [第1页] 丹尼尔·利万特 :
高阶逻辑。 人工智能和逻辑编程逻辑手册（2） 1994 : 229-322 1993 [公元16年] 丹尼尔·利万特 , 珍妮·伊夫·马里恩 :
多元时间的Lambda微积分特征。 芬丹。 信息学 19 ( 1/2 ) : 167-184 ( 1993 ) [公元15年] 丹尼尔·利万特 :
简单类型lambda演算中可定义的自由代数上的函数。 理论。 计算。 科学。 121 ( 1&2 ) : 309-322 ( 1993 ) [第14条] 丹尼尔·利万特 :
分层函数程序和计算复杂性。 POPL公司 1993 : 325-333 [第13条] 丹尼尔·利万特 , 珍妮·伊夫·马里恩 :
多重时间的Lambda演算特征。 薄层色谱分析 1993 : 274-288 1991 [公元14年] 丹尼尔·利万特 :
有限分层多态性。 Inf.计算。 93 ( 1 ) : 93-113 ( 1991 ) [第12条] 丹尼尔·利万特 :
计算可行性的基本描述。 低收入国家 1991 : 2-11 1990 [j13] 丹尼尔·利万特 :
重新审视马尔可夫法则。 架构（architecture）。 数学。 日志。 30 ( 2 ) : 125-127 ( 1990 ) [公元12年] 丹尼尔·利万特 :
有限结构上的归纳定义。 Inf.计算。 89 ( 2 ) : 95-108 ( 1990 ) [第11条] 丹尼尔·利万特 :
离散多态性。 LISP与函数编程 1990 : 288-297
1980 – 1989
1989 [公元11年] 丹尼尔·利万特 :
计算复杂性的描述性特征。 J.计算。 系统。 科学。 39 ( 1 ) : 51-83 ( 1989 ) [第10条] 丹尼尔·利万特 :
分层多态性（扩展摘要）。 低收入国家 1989 : 39-47 1988 [公元10年] 丹尼尔·利万特 , 蒂姆·费尔南多 :
相对完整性的微乎其微的失败。 J.ACM公司 35 ( 4 ) : 953-964 ( 1988 ) 1987 【c9】 丹尼尔·利万特 :
高阶逻辑中复杂性类的特征。 SCT公司 1987 : 203-217 【c8】 丹尼尔·利万特 , 蒂姆·费尔南多 :
相对完整性的瘦弱和肉质缺陷。 POPL公司 1987 : 246-252 1986 [公元9年] 丹尼尔·利万特 :
Lambda表达式的类型和计算属性。 理论。 计算。 科学。 44 : 51-68 ( 1986 ) 1985 [j8] 丹尼尔·利万特 :
句法翻译和明显的递归功能。 J.塞姆。 日志。 50 ( 三 ) : 682-688 ( 1985 ) 【c7】 丹尼尔·利万特 :
作为一阶理论的部分正确性理论。 程序逻辑 1985 : 190-195 【c6】 丹尼尔·利万特 :
关于紧急程序的逻辑和数学推理。 POPL公司 1985 : 132-140 1983 [j7] 史蒂文·福琼 , 丹尼尔·莱万特 , 迈克尔·奥唐纳 :
简单型和二阶型结构的表达能力。 J.ACM公司 30 ( 1 ) : 151-185 ( 1983 ) [j6] 丹尼尔·利万特 :
归纳法作为算术公理化的最优性。 J.塞姆。 日志。 48 ( 1 ) : 182-184 ( 1983 ) 【c5】 丹尼尔·利万特 :
推理与类型规程相关的函数程序和复杂性类。 光纤通信系统 1983 : 460-469 【c4】 丹尼尔·利万特 :
多态类型推断。 府绸 1983 : 88-98 【c3】 丹尼尔·利万特 :
多态数据类型的结构语义。 POPL公司 1983 : 155-166 1982 [j5] 丹尼尔·利万特 :
弱数论中复杂性理论的不可逆性。 理论。 计算。 科学。 18 : 259-268 ( 1982 ) 1981 【j4】 丹尼尔·利万特 :
直觉算术中的含意复杂性。 J.塞姆。 日志。 46 ( 2 ) : 240-248 ( 1981 ) [j3] 丹尼尔·利万特 :
关于模态逻辑的算术可证明性证明理论。 J.塞姆。 日志。 46 ( 三 ) : 531-538 ( 1981 ) 【c2】 丹尼尔·利万特 :
命题动态逻辑的一种证明理论方法。 国际消防委员会 1981 : 356-373 【c1】 丹尼尔·利万特 :
多态过程中参数传递的复杂性（或：独立于强理论的编程语言定理）。 STOC公司 1981 : 38-45 1980 [注2] 丹尼尔·利万特 :
无害的替代品。 J.塞姆。 日志。 45 ( 2 ) : 363-368 ( 1980 )
1970 – 1979
1979 [j1] 丹尼尔·利万特 :
自然演绎中的假设类。 数学。 日志。 问：。 25 ( 1-2 ) : 1-4 ( 1979 )
合著者索引
