编辑配置文件(在新选项卡中打开) 丹尼尔·韦勒(Daniel S.Weller)。 合著者距离 作者ID: weller.daniel-s公司 发布日期: 丹尼尔·韦勒;丹尼尔·韦勒(Daniel S.Weller)。 已编制索引的文档: 19出版物自2008年以来,包括1个附加arXiv预打印 1名编辑贡献 合著者: 19位合著者具有19联合出版物 384位合著者 全部的 前5名合著者 1 单作者的 12 斯特凡·赫兹尔 10 亚历山大·莱奇 3 吉赛尔·赖斯 3 布鲁诺沃尔岑洛格尔古 2 巴兹,马蒂亚斯 2 Vivek K·戈亚尔。 2 梁浩毅 1 斯科特·阿克顿。 1 费德里科·阿西埃里 1 蝉蜕、阿加塔 1 Cvetan Dunchev公司 1 茨维坦·邓切夫 1 塞巴斯蒂安·埃伯哈德 1 加布里埃尔·埃布纳 1 Dov M.加巴伊。 1 哈里斯·杰拉尼 1 托梅尔·利巴尔 1 尼古拉斯·佩尔蒂埃 1 贾诺斯·塔波尔扎伊 全部的 前5名系列 3 逻辑与计算杂志 2 理论计算机科学 2 IEEE信号处理汇刊 2 IEEE图像处理汇刊 1 符号逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 领域 15 数学逻辑和基础(03-XX) 7 计算机科学(68至XX) 4 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 统计学(62-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物被引用88中的次38文件 引用人▼ 年份▼ Herbrand连续提取。 Zbl 1166.68347号 斯特凡·赫兹尔;亚历山大·莱奇;丹尼尔·韦勒;布鲁诺沃尔岑洛格尔古 17 2008 量化切割的算法介绍。 Zbl 1393.03050号 斯特凡·赫兹尔;亚历山大·莱奇;吉赛尔·赖斯;丹尼尔·韦勒 15 2014 走向算法化的导入。 Zbl 1352.68213号 斯特凡·赫兹尔;亚历山大·莱奇;丹尼尔·韦勒 14 2012 在逻辑中引入量化切割,并保持一致。 Zbl 1423.68418号 斯特凡·赫兹尔;亚历山大·莱奇;吉赛尔·赖斯;贾诺斯·塔波尔扎伊;丹尼尔·韦勒 10 2014 关于证明分解的复杂性。 Zbl 1345.03104号 马提亚斯·巴兹;斯特凡·赫兹尔;丹尼尔·韦勒 9 2012 高阶逻辑中的CERES。 Zbl 1259.03071号 斯特凡·赫兹尔;亚历山大·莱奇;丹尼尔·韦勒 5 2011 带切口的膨胀树。 Zbl 1456.03085号 费德里科·阿西埃里;斯特凡·赫兹尔;丹尼尔·韦勒 5 2019 切割消除和验证示意图。 Zbl 1326.03069号 Cvetan Dunchev公司;亚历山大·莱奇;米哈伊尔·鲁卡亚;丹尼尔·韦勒 5 2015 二阶逻辑中证明分析的子句方法。 Zbl 1211.03018号 斯特凡·赫兹尔;亚历山大·莱奇;丹尼尔·韦勒;布鲁诺沃尔岑洛格尔古 3 2009 关于量化引理的生成。 Zbl 1459.03011号 加布里埃尔·埃布纳;斯特凡·赫兹尔;亚历山大·莱奇;吉赛尔·赖斯;丹尼尔·韦勒 3 2019 系统描述:证明转换系统CERES。 Zbl 1291.68338号 茨维坦·邓切夫;亚历山大·莱奇;托梅尔·利巴尔;丹尼尔·韦勒;布鲁诺沃尔岑洛格尔古 1 2010 一阶图式的CERES。 Zbl 1405.03089号 亚历山大·莱奇;尼古拉斯·佩尔蒂埃;丹尼尔·韦勒 1 2017 带切口的扩展树。 Zbl 1456.03085号 费德里科·阿西埃里;斯特凡·赫兹尔;丹尼尔·韦勒 5 2019 关于量化引理的生成。 Zbl 1459.03011号 加布里埃尔·埃布纳;斯特凡·赫兹尔;亚历山大·莱奇;吉赛尔·赖斯;丹尼尔·韦勒 3 2019 一阶图式的CERES。 Zbl 1405.03089号 亚历山大·莱奇;尼古拉斯·佩尔蒂埃;丹尼尔·韦勒 1 2017 切割和校对示意图。 Zbl 1326.03069号 Cvetan Dunchev公司;亚历山大·莱奇;米哈伊尔·鲁卡亚;丹尼尔·韦勒 5 2015 量化切割的算法介绍。 兹比尔1393.03050 斯特凡·赫兹尔;亚历山大·莱奇;吉赛尔·赖斯;丹尼尔·韦勒 15 2014 在逻辑中引入量化切割,并保持一致。 兹比尔1423.68418 斯特凡·赫兹尔;亚历山大·莱奇;吉赛尔·赖斯;贾诺斯塔波尔恰伊;丹尼尔·韦勒 10 2014 走向算法化的导入。 Zbl 1352.68213号 斯特凡·赫兹尔;亚历山大·莱奇;丹尼尔·韦勒 14 2012 关于证明分解的复杂性。 Zbl 1345.03104号 马提亚斯·巴兹;斯特凡·赫兹尔;丹尼尔·韦勒 9 2012 高阶逻辑中的CERES。 Zbl 1259.03071号 斯特凡·赫兹尔;亚历山大·莱奇;丹尼尔·韦勒 5 2011 系统描述:证明转换系统CERES。 Zbl 1291.68338号 茨维坦·邓切夫;亚历山大·莱奇;托梅尔·利巴尔;丹尼尔·韦勒;布鲁诺沃尔岑洛格尔古 1 2010 二阶逻辑中证明分析的子句方法。 Zbl 1211.03018号 斯特凡·赫兹尔;亚历山大·莱奇;丹尼尔·韦勒;布鲁诺沃尔岑洛格尔古 3 2009 Herbrand连续提取。 Zbl 1166.68347号 斯特凡·赫兹尔;亚历山大·莱奇;丹尼尔·韦勒;布鲁诺沃尔岑洛格尔古 17 2008 所有引用出版物 前5名被引用出版物 全部的 前5名37位作者引用 13 斯特凡·赫兹尔 13 亚历山大·莱奇 8 丹尼尔·韦勒(Daniel S.Weller)。 5 吉赛尔·赖斯 5 布鲁诺沃尔岑洛格尔古 4 马提亚斯·巴兹 4 大卫·M·塞尔纳。 4 阿内拉·洛里奇 3 塞巴斯蒂安·埃伯哈德 3 加布里埃尔·埃布纳 3 西蒙·沃尔夫斯泰纳 2 阿夫沙里语、巴哈雷语 2 格雷厄姆·埃米尔·利 1 胡安·巴勃罗·阿奎莱拉 1 奥罗雷·阿尔科莱 1 沃尔夫冈·比贝尔 1 Tour男孩,蒂埃里 1 皮埃尔·克莱兰堡 1 Cvetan Dunchev公司 1 茨维坦·邓切夫 1 傅军 1 戈尔兹尼,简 1 乔纳森·赫拉斯 1 海兰德·J·马丁·E·。 1 查恩·科马拉 1 叶卡捷琳娜·科门丹斯卡娅 1 特默尔库西亚 1 迈克尔·彼得·莱特曼 1 托梅尔·利巴尔 1 尼古拉斯·佩尔蒂埃 1 马丁·里纳 1 谭红燕 1 扬尼克·维林 1 Christoph Wernhard公司 1 格林·温斯克尔 1 吴金钊 1 塞巴斯蒂安·齐沃塔 全部的 前5名10篇连载文章中引用 5 纯逻辑与应用逻辑年鉴 4 理论计算机科学 3 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 1 应用数学与计算 1 符号逻辑杂志 1 Studia Logica公司 1 信息与计算 1 数学逻辑档案 1 工程中的数学问题 在3个字段中引用 34 数学逻辑和基础(03-XX) 21 计算机科学(68至XX) 1 量子理论(81-XX) 按年份列出的引文