编辑配置文件(在新选项卡中打开) 丹尼尔·莱万特(Daniel M.Leivant)。 合著者距离 作者ID: leivant.daniel-m公司 发布日期: 丹尼尔·利万特;丹尼尔·莱万特(Daniel M.Leivant)。 已编制索引的文档: 63出版物自1971年以来,包括2本书和1个附加arXiv预打印 7作为编辑的贡献 合著者: 12位合著者具有18联合出版物 222名Co-Co作者 全部的 前5名合著者 52 单作者的 5 Jean-Yves玛丽恩 4 拉米亚,拉米亚 3 Ruy JoséGuerra Barretto De Queiroz 2 阿努吉·达瓦尔 2 瓦莱里亚·德·佩瓦 1 诺曼·丹纳 1 德奥利维拉(de Oliveira)、安若琳娜·格里西(Anjolina Grisi) 1 蒂姆·费尔南多 1 《财富》,史蒂文 1 拉里·莫斯 1 迈克尔·奥唐纳。 1 Ruy J.G.B.奎罗斯。 全部的 前5名系列 5 符号逻辑杂志 5 信息与计算 4 理论计算机科学 3 计算机科学课堂讲稿 2 计算机协会杂志 2 纯逻辑与应用逻辑年鉴 2 MSCS公司。计算机科学中的数学结构 2 IGPL逻辑杂志 2 计算机科学中的逻辑方法 1 克莱蒙费兰德大学年鉴2。数学竞赛 1 计算机与系统科学杂志 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 逻辑与计算杂志 1 数学逻辑档案 1 计算机基础理论 领域 62 数学逻辑和基础(03-XX) 46 计算机科学(68至XX) 7 一般性和全局性主题;集合(00-XX) 1 历史和传记(01-XX) 1 数论(11-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 47出版物被引用375中的次267份文件 引用人▼ 年份▼ 分枝递归和计算复杂性。I: 单词重复和多时间。 Zbl 0844.03024号 丹尼尔·利万特 47 1995 简单和二阶类型结构的表现力。 Zbl 0519.68046号 《财富》,史蒂文;丹尼尔·利万特;迈克尔·奥唐纳 38 1983 分枝递归和计算复杂性。II: 置换和多边形空间。 Zbl 1044.03526号 丹尼尔·莱万特;Jean-Yves玛丽恩 31 1995 多重时间的Lambda演算特征。 Zbl 0781.68059号 丹尼尔·利万特;Jean-Yves玛丽恩 24 1993 计算复杂性的描述性特征。 Zbl 0677.68045号 丹尼尔·利万特 16 1989 关于模态逻辑的算术可证性证明理论。 Zbl 0464.03019号 丹尼尔·利万特 16 1981 作为算术公理化的归纳法的最优性。 Zbl 0515.03018号 丹尼尔·利万特 15 1983 多时间的基本描述。 Zbl 0799.03042号 丹尼尔·利万特 15 1994 命题动态逻辑的证明理论方法。 Zbl 0467.03015号 丹尼尔·利万特 14 1981 自由代数上的次递归和lambda表示。初步总结。 Zbl 0772.03020号 丹尼尔·利万特 14 1990 有限分层多态性。 Zbl 0799.68041号 丹尼尔·莱万特 13 1991 句法翻译和可证明的递归函数。 Zbl 0593.03038号 丹尼尔·利万特 13 1985 lambda表达式的类型和计算属性。 Zbl 0613.68020号 丹尼尔·利万特 12 1986 多重时间的Lambda演算特征。 Zbl 0788.68051号 丹尼尔·莱万特;Jean-Yves玛丽恩 9 1993 有限类型中的谓词递归。 Zbl 0947.03065号 丹尼尔·利万特 8 1994 有限结构上的归纳定义。 Zbl 0718.03034号 丹尼尔·利万特 7 1990 自然演绎中的假设类。 Zbl 0408.03043号 丹尼尔·利万特 7 1979 直觉算法中的隐含复杂性。 Zbl 0488.03032号 丹尼尔·利万特 5 1981 分枝共现和日志空间。 Zbl 1342.68139号 拉米亚,拉米亚;丹尼尔·利万特 5 2011 直觉算术自然演绎系统中的存在实例化。 Zbl 0261.020155号 丹尼尔·利万特 5 1973 分枝递归和计算复杂性。三: 更高的类型递归和初等复杂性。 Zbl 0924.03071号 丹尼尔·利万特 5 1999 关于函数程序的内在推理。一: 一阶理论。 Zbl 0992.03037号 丹尼尔·利万特 5 2002 进化图结构及其隐含的计算复杂性。 Zbl 1334.68048号 丹尼尔·利万特;Jean-Yves玛丽恩 4 2013 带有程序量词的命题动态逻辑。 Zbl 1286.03119号 丹尼尔·利万特 4 2008 算法的强规范化。(普拉维茨主题变奏曲。)。 兹比尔0322.02030 丹尼尔·利万特 4 1975 高类型泛函的隐式计算复杂性(扩展抽象)。 Zbl 1020.03511号 丹尼尔·利万特 4 2002 分层多态性。 Zbl 0716.68019号 丹尼尔·利万特 3 1989 弱数论中复杂性理论定理的不可证性。 Zbl 0482.03025号 丹尼尔·利万特 3 1982 在简单型lambda演算中可定义的自由代数上的函数。 Zbl 0792.03006号 丹尼尔·利万特 3 1993 逻辑和计算复杂性。1994年10月13日至16日,美国印第安纳波利斯LCC’94国际研讨会。精选论文。 Zbl 0847.00025号 3 1995 基于计算的集合存在原则。 Zbl 0693.03037号 丹尼尔·利万特 2 1990 数论的语义特征。 Zbl 0752.03019号 丹尼尔·利万特 2 1992 共归纳数据上的可行函数。 Zbl 1305.68088号 拉米亚,拉米亚;丹尼尔·利万特 2 2010 分支余流的计算内容。 兹比尔1459.68070 丹尼尔·利万特;拉米亚,拉米亚 2 2015 适用控制和计算复杂性。 Zbl 0944.68070号 丹尼尔·利万特 2 1999 终止证明和复杂性证明。 Zbl 1087.68545号 丹尼尔·利万特 2 2001 关于程序终止的动态逻辑推理。 Zbl 1133.03334号 丹尼尔·莱万特 1 2008 动态逻辑中可证明的部分正确性断言。 Zbl 1126.03314号 丹尼尔·利万特 1 2004 关于动态逻辑的完备性。 Zbl 1234.03019号 丹尼尔·利万特 1 2009 部分正确理论作为一阶理论。 Zbl 0565.68009号 丹尼尔·利万特 1 1985 内在理论和计算复杂性。 Zbl 07776720号 丹尼尔·利万特 1 1995 分层多态性和原始递归。 Zbl 0935.03024号 诺曼·丹纳;丹尼尔·利万特 1 1999 程序逻辑的归纳完整性。 Zbl 1234.03018号 丹尼尔·利万特 1 2009 皮亚诺的lambda演算:算术中隐含的函数抽象。 Zbl 1031.03019号 丹尼尔·利万特 1 2001 抽象中的原语递归。 Zbl 1435.68064号 丹尼尔·利万特;Jean-Yves玛丽恩 1 2020 构造模型的直觉谓词逻辑的完备性失效。 Zbl 0362.02014号 丹尼尔·利万特 1 1976 无害的替换。 Zbl 0434.03041号 丹尼尔·利万特 1 1980 抽象中的原语递归。 Zbl 1435.68064号 丹尼尔·利万特;让-伊夫·马里恩 1 2020 分支余流的计算内容。 兹比尔1459.68070 丹尼尔·利万特;拉米亚,拉米亚 2 2015 进化的图形结构及其隐含的计算复杂性。 Zbl 1334.68048号 丹尼尔·利万特;Jean-Yves玛丽恩 4 2013 分枝共现和日志空间。 Zbl 1342.68139号 拉米亚,拉米亚;丹尼尔·利万特 5 2011 共归纳数据上的可行函数。 Zbl 1305.68088号 拉米亚,拉米亚;丹尼尔·利万特 2 2010 关于动态逻辑的完备性。 Zbl 1234.03019号 丹尼尔·利万特 1 2009 程序逻辑的归纳完整性。 Zbl 1234.03018号 丹尼尔·利万特 1 2009 带有程序量词的命题动态逻辑。 Zbl 1286.03119号 丹尼尔·利万特 4 2008 关于程序终止的动态逻辑推理。 Zbl 1133.03334号 丹尼尔·利万特 1 2008 在动态逻辑中可证明的部分正确性断言。 Zbl 1126.03314号 丹尼尔·利万特 1 2004 关于函数程序的内在推理。一: 一阶理论。 Zbl 0992.03037号 丹尼尔·利万特 5 2002 高级函数的隐式计算复杂性(扩展抽象)。 Zbl 1020.03511号 丹尼尔·莱万特 4 2002 终止证明和复杂性证明。 兹比尔1087.68545 丹尼尔·利万特 2 2001 皮亚诺的lambda演算:算术中隐含的函数抽象。 Zbl 1031.03019号 丹尼尔·利万特 1 2001 分枝递归和计算复杂性。三: 更高的类型递归和初等复杂性。 Zbl 0924.03071号 丹尼尔·利万特 5 1999 适用控制和计算复杂性。 Zbl 0944.68070号 丹尼尔·利万特 2 1999 分层多态性和原始递归。 Zbl 0935.03024号 诺曼·丹纳;丹尼尔·利万特 1 1999 分枝递归和计算复杂性。一: 单词重复和多时间。 Zbl 0844.03024号 丹尼尔·利万特 47 1995 分枝递归和计算复杂性。二: 替代和多空间。 Zbl 1044.03526号 丹尼尔·利万特;Jean-Yves玛丽恩 31 1995 逻辑和计算复杂性。1994年10月13日至16日,美国印第安纳波利斯LCC’94国际研讨会。论文选集。 Zbl 0847.00025号 3 1995 内在理论和计算复杂性。 Zbl 07776720号 丹尼尔·利万特 1 1995 多时间的基本描述。 Zbl 0799.03042号 丹尼尔·利万特 15 1994 有限类型中的预测递归。 兹伯利0947.03065 丹尼尔·利万特 8 1994 多时间的Lambda微积分特征。 Zbl 0781.68059号 丹尼尔·利万特;Jean-Yves玛丽恩 24 1993 多重时间的Lambda演算特征。 Zbl 0788.68051号 丹尼尔·利万特;Jean-Yves玛丽恩 9 1993 在简单型lambda演算中可定义的自由代数上的函数。 Zbl 0792.03006号 丹尼尔·利万特 3 1993 数论的语义特征。 Zbl 0752.03019号 丹尼尔·利万特 2 1992 有限分层多态性。 Zbl 0799.68041号 丹尼尔·利万特 13 1991 自由代数上的次递归和lambda表示。初步总结。 Zbl 0772.03020号 丹尼尔·利万特 14 1990 有限结构上的归纳定义。 Zbl 0718.03034号 丹尼尔·利万特 7 1990 基于计算的集合存在原则。 Zbl 0693.03037号 丹尼尔·利万特 2 1990 计算复杂性的描述性特征。 Zbl 0677.68045号 丹尼尔·利万特 16 1989 分层多态性。 Zbl 0716.68019号 丹尼尔·利万特 3 1989 lambda表达式的类型和计算属性。 Zbl 0613.68020号 丹尼尔·利万特 12 1986 句法翻译和可证明的递归函数。 Zbl 0593.03038号 丹尼尔·莱万特 13 1985 部分正确理论作为一阶理论。 Zbl 0565.68009号 丹尼尔·利万特 1 1985 简单和二阶类型结构的表现力。 Zbl 0519.68046号 《财富》,史蒂文;丹尼尔·利万特;运营;迈克尔·唐奈尔 38 1983 作为算术公理化的归纳法的最优性。 Zbl 0515.03018号 丹尼尔·利万特 15 1983 弱数论中复杂性理论定理的不可证性。 Zbl 0482.03025号 丹尼尔·利万特 3 1982 关于模态逻辑的算术可证性证明理论。 Zbl 0464.03019号 丹尼尔·利万特 16 1981 命题动态逻辑的证明理论方法。 Zbl 0467.03015号 丹尼尔·利万特 14 1981 直觉算法中的隐含复杂性。 Zbl 0488.03032号 丹尼尔·利万特 5 1981 无害的替换。 Zbl 0434.03041号 丹尼尔·莱万特 1 1980 自然演绎中的假设类。 Zbl 0408.03043号 丹尼尔·利万特 7 1979 构造模型的直觉谓词逻辑的完备性失败。 Zbl 0362.02014号 丹尼尔·利万特 1 1976 算法的强规范化。(普拉维茨主题变奏曲。)。 兹比尔0322.02030 丹尼尔·利万特 4 1975 直觉算法的自然演绎系统中的存在实例化。 Zbl 0261.020155号 丹尼尔·利万特 5 1973 所有引用出版物 前5名被引用出版物 全部的 前5名295位作者引用 14 丹尼尔·莱万特(Daniel M.Leivant)。 9 乌戈·达尔拉戈 7 帕特里克·贝洛特 7 罗曼·佩乔 6 伊曼纽尔·海因里 6 Jean-Yves玛丽恩 6 赫尔穆特·施维赫滕贝格 5 列夫·贝克莱米舍夫。 5 斯蒂芬·贝兰托尼。 5 劳里·T·海拉。 5 马丁·霍夫曼 4 乌尔里希·伯杰 4 奥利维尔·伯内兹 4 可口、蒂埃里 4 马里亚纽拉州Dezani-Ciancaglini 4 Joost J.乔斯特恩。 4 达米亚诺·马扎 4 格里戈里·埃弗罗伊莫维奇造币厂 4 伊莎贝尔·奥塔维姆 4 阿列克西·舒伯特 3 谢尔盖·阿比特布尔 3 洛伊奇科尔森 3 罗伯特·李,警察 3 斯蒂芬·阿瑟·库克 3 诺曼·丹纳 3 直井井口 3 托马斯·艾特 3 乔治·戈特洛布 3 布鲁斯·卡普伦。 3 安蒂·库西斯托 3 卡尔·海因茨·奈格尔 3 布莱恩·雷德蒙德(Brian F.Redmond)。 3 西蒙娜·隆奇·德尔拉·罗卡 3 托马斯·斯特拉姆 3 托马斯·施图德 3 阿伦·斯塔姆 3 川崎捷瑞 3 托雷斯,何塞·玛丽亚 3 维克托·维亚努 2 克劳斯·埃利格 2 马丁·阿文齐尼 2 斯蒂芬·布洛赫(Stephen A.Bloch)。 2 萨尔瓦多卡波拉索 2 科科特,J.罗宾B。 2 安德烈斯·科多恩·佛朗哥 2 兹拉坦·达姆贾诺维奇 2 阿努吉·达瓦尔 2 多利亚,弗朗西斯科·安东尼奥 2 Fernández Duque,大卫 2 玛丽贝尔·费尔南德斯 2 藤田,健毅 2 藤原真本 2 马可·加博阿迪 2 吉安·伊夫·吉拉德 2 拉杰夫·普拉巴卡尔·戈尔 2 石原、Hajime 2 Fairouz D.卡马雷丁。 2 阿萨夫·科福里。 2 Phokion G.科莱蒂斯。 2 Evgeny A.科尔马科夫。 2 拉拉·马汀(Lara-Martín),弗朗西斯科·费利克斯(Francisco Felix) 2 约翰·米切尔(John C.Mitchell)。 2 弗朗索瓦·莫宁 2 内莫托、高子 2 Hirokazu西村 2 普利乌什凯维奇乌斯,里贾曼塔斯 2 卢卡·罗维斯 2 詹姆斯·罗耶(James S.Royer)。 2 托马斯·施温蒂克 2 Daniyar S.Shamkanov。 2 肖恩·斯坦德弗 2 Jerzy Tiuryn 2 巴威·乌尔兹琴 2 西尔维奥·瓦伦蒂尼 2 范·贝克尔,斯特芬 2 卢卡·维切利 2 阿尔伯特·维瑟 2 杜明达·威杰塞克拉 1 沃纳·亚历克西 1 罗马斯·阿隆德里斯 1 罗伯特·阿马迪奥(Roberto M.Amadio)。 1 安德烈亚·阿斯佩蒂 1 毛里西奥·阿亚拉·林科恩 1 佛朗哥·巴巴内拉 1 埃弗拉多·贝尔塞纳斯 1 埃里克·巴伦森 1 Barthe,Gilles公司 1 亚历山大·本特坎普 1 拉尔夫·本辛格 1 亚历山德罗·贝拉杜奇 1 香塔尔·伯林 1 马克·贝泽姆 1 悉达赫·巴斯卡尔 1 马克·比克福德 1 比尔,E。 1 马诺·布朗 1 贾斯敏·克里斯蒂安·布兰切特 1 安德烈亚斯·拉斐尔·布拉斯 1 科拉多·伯姆 1 纪尧姆·邦芬特 …还有195位作者 全部的 前5名37篇连载文章中引用 46 理论计算机科学 31 信息与计算 28 纯逻辑与应用逻辑年鉴 11 符号逻辑杂志 7 数学逻辑档案 7 《数理逻辑季刊》 7 符号逻辑公报 6 Studia Logica公司 5 圣母院形式逻辑杂志 5 计算机科学中的逻辑方法 4 计算机与系统科学杂志 4 哲学逻辑杂志 4 函数编程杂志 4 逻辑与代数程序设计杂志 4 ACM计算逻辑事务 3 MSCS公司。计算机科学中的数学结构 3 计算复杂性 3 符号逻辑述评 2 信息处理信件 2 立陶宛数学杂志 2 京都大学数学科学研究所出版物 2 合成 2 逻辑科公报 2 国际计算机科学基础杂志 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 数学笔记 1 应用数学与计算 1 苏联数学杂志 1 美国数学学会会刊 1 符号计算杂志 1 自动推理杂志 1 应用非经典逻辑杂志 1 数学科学杂志(纽约) 1 数学与人工智能年鉴 1 斯博尼克:数学 1 计算系统理论 1 逻辑程序设计理论与实践 全部的 前5名10个领域引用 211 数学逻辑和基础(03-XX) 151 计算机科学(68至XX) 7 一般性和全局性主题;集合(00-XX) 3 阶、格、有序代数结构(06-XX) 2 一般代数系统(08-XX) 2 范畴理论;同调代数(18-XX) 2 信息与通信理论、电路(94-XX) 1 数论(11-XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文