编辑配置文件(在新选项卡中打开) 埃里希·格拉德尔 合著者距离 作者ID: 等级埃里克 发布日期: 埃里希·格拉德尔;Grädel,E。 外部链接: MGP公司 编入索引的文档: 114出版物自1988年以来,包括3本书和3个附加arXiv预打印 5名编辑的贡献 合著者: 65位合著者具有91联合出版物 1471位合作作者 全部的 前5名合著者 28 单作者的 12 阿努吉·达瓦尔 12 维德州帕库萨 8 凯撒,卢卡斯 7 迪特马尔·伯旺格 7 马丁·奥托 6 尤里·古里维奇 6 斯蒂芬·克鲁泽 6 法里德·阿布·扎伊德 4 罗马人拉比诺维奇 三 费利克斯·卡纳沃伊 三 Katrin M.丹纳特。 三 马丁·格罗 三 格雷戈里·麦科姆。 三 埃里克·罗森 2 伊贡博格尔 2 凯文·康普顿。 2 戴安娜·菲舍尔 2 乔治·戈特洛布 2 马蒂亚斯·霍尔泽尔 2 比亚尔基·霍尔姆 2 Phokion G.科莱蒂斯。 2 科普钦斯基,Eryk 2 贾科莫·伦齐 2 西蒙·勒埃尼奇 2 安德斯·马尔姆斯特罗姆 2 克劳斯·米尔 2 卢浮宫Mrkonjić 2 贝内迪克特·帕戈 2 Svenja Schalthöfer公司 2 Val Tannen公司 2 莫西·亚亚科夫·瓦尔迪 2 赫尔穆特·维思 2 理查德·威尔克 2 托马斯·威尔克 1 拉斐尔·阿尔伯特 1 Krzysztof Rafal公寓 1 文斯·巴拉尼 1 托马斯·贝伦特 1 阿希姆·布卢门萨特 1 索菲·布林克 1 弗鲁姆,约尔格 1 Darion Haase先生 1 Joseph Yehuda Halpern 1 斯蒂芬·赫格塞尔曼 1 科林·赫什 1 斯蒂芬·贾克斯 1 拉德哈·贾加迪桑 1 莱因哈德·卡勒 1 利博金,Leonid O。 1 莫里茨·利希特 1 马滕·马克思 1 马提亚斯·纳夫 1 安特耶·诺瓦克 1 阿道夫·皮佩尔诺 1 菲尔·普兹特吕克 1 弗雷德里克·莱因哈特 1 萨沙·鲁宾 1 乔尔·斯宾塞。 1 马克·斯皮尔曼 1 沃尔夫冈·托马斯 1 米歇尔·乌梅尔斯 1 Väänänen,Jouko Antero 1 维尼马,伊德 1 伊戈尔·瓦卢基维奇 1 斯科特·温斯坦 全部的 前5名系列 8 理论计算机科学 5 计算系统理论 5 ACM计算逻辑事务 4 纯逻辑与应用逻辑年鉴 三 符号逻辑杂志 三 信息与计算 三 数学逻辑档案 三 计算机科学中的逻辑方法 2 逻辑与计算杂志 2 计算机科学课堂讲稿 1 信息处理信件 1 计算机与系统科学杂志 1 SIAM计算机杂志 1 Studia Logica公司 1 国际计算机科学基础杂志 1 数学逻辑季刊(MLQ) 1 符号逻辑公报 1 欧洲理论计算机科学协会公报 1 计算机基础理论 1 逻辑和游戏中的文本 1 莫斯科组合数学与数论杂志 1 Universitext(通用文本) 1 数学逻辑的观点 1 理论计算机科学课文。EATCS系列 全部的 前5名领域 95 数学逻辑和基础(03-XX) 80 计算机科学(68至XX) 23 博弈论、经济学、金融和其他社会和行为科学(91-XX) 9 组合数学(05-XX) 5 一般性和全局性主题;集合(00-XX) 三 线性代数和多线性代数;矩阵理论(15-XX) 三 群论与推广(20-XX) 2 量子理论(81-XX) 1 测量和集成(28-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 96出版物有被引用1280次中的次954文件 引用人▼ 年份▼ 自动机、逻辑和无限游戏。当前研究指南。 Zbl 1011.00037号 230 2002 经典的决策问题。 Zbl 0865.03004号 伊贡博格尔;埃里希·格拉德尔;于古瑞奇(Yu Gurevich)。 138 1997 依赖和独立。 兹比尔1272.03125 埃里希·格拉德尔;Väänänen,佐科 88 2013 关于警卫的约束权。 Zbl 0958.03027号 埃里希·格拉德尔 73 1999 关于二元一阶逻辑的决策问题。 Zbl 0873.03009号 埃里希·格拉德尔;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 70 1997 有限模型理论及其应用。 Zbl 1133.03001号 埃里希·格拉德尔;Phokion G.科莱蒂斯。;利奥尼德·利金;马滕·马克思;乔尔·斯宾塞;莫舍·瓦尔迪。;维尼马,伊德;斯科特·温斯坦 52 2007 无限结构的有限表示:自动机和解释。 Zbl 1061.03038号 阿希姆·布卢门萨特;埃里希·格拉德尔 47 2004 计算机科学家的博弈论讲座。 Zbl 1214.91003号 32 2011 经典的决策问题。平装版。 Zbl 0970.03001号 伊贡博格尔;埃里希·格拉德尔;于古雷维奇。 32 2001 关于双变量逻辑。 Zbl 0948.03023号 埃里希·格拉德尔;马丁·奥托 27 1999 纠缠度–用于逻辑和游戏应用的有向图复杂性的度量。 Zbl 1109.68080号 迪特马尔·伯旺格;埃里希·格拉德尔 22 2005 亚有限模型理论。 Zbl 0892.68033号 埃里希·格拉德尔;尤里·古里维奇 22 1998 二元逻辑的不确定性结果。 Zbl 0927.03015号 埃里希·格拉德尔;马丁·奥托;埃里克·罗森 20 1999 有限结构计数的归纳可定义性。 Zbl 0792.68061号 埃里希·格拉德尔;马丁·奥托 19 1993 通过二阶逻辑片段捕获复杂类。 Zbl 0780.68040号 埃里希·格拉德尔 19 1992 无限多人游戏的解决方案概念和算法。 Zbl 1377.91014号 埃里希·格拉德尔;米歇尔·乌梅尔斯 17 2008 保护逻辑的决策程序。 Zbl 0937.03011号 埃里希·格拉德尔 15 1999 在保护逻辑和模态逻辑之间来回切换。 Zbl 1365.03019号 埃里希·格拉德尔;科林·赫什;马丁·奥托 14 2002 不完全信息逻辑的模型检查游戏。 Zbl 1358.68191号 埃里希·格拉德尔 14 2013 实数上的描述性复杂性理论。 Zbl 0968.68517号 埃里希·格拉德尔;克劳斯·米尔 13 1995 有向图的纠缠和复杂性。 Zbl 1256.05086号 迪特马尔·伯旺格;埃里希·格拉德尔;凯撒,乌卡斯;罗马人拉比诺维奇 13 2012 普雷斯伯格算法的子类和多项式时间层次结构。 Zbl 0665.03026号 埃里希·格拉德尔 12 1988 Dominoes和逻辑理论子类的复杂性。 Zbl 0665.03027号 埃里希·格拉德尔 12 1989 关于传递闭包逻辑。 Zbl 0783.03012号 Grädel,E。 11 1992 为什么模态逻辑如此可靠? Zbl 1012.03505号 埃里希·格拉德尔 9 2001 多米诺游戏和复杂性。 Zbl 0711.68044号 埃里希·格拉德尔 9 1990 Datalog LITE:带有线性时间模型检查的演绎查询语言。 Zbl 1365.68203号 乔治·戈特洛布;埃里希·格拉德尔;赫尔穆特·维思 8 2002 守恒不动点逻辑和可数树的一元理论。 Zbl 1061.03022号 埃里希·格拉德尔 7 2002 平价游戏的描述性复杂性。 兹比尔1157.68032 阿努吉·达瓦尔;埃里希·格拉德尔 7 2008 定点逻辑和纸牌游戏。 Zbl 1061.68100号 迪特马尔·伯旺格;埃里希·格拉德尔 7 2004 模态逻辑中的膨胀不动点。 Zbl 1407.03031号 阿努吉·达瓦尔;埃里希·格拉德尔;斯蒂芬·克鲁泽 7 2004 为什么模态逻辑如此可靠? 兹伯利0935.03029 埃里希·格拉德尔 7 1999 二阶霍恩逻辑的表达能力。 Zbl 0773.03006号 埃里希·格拉德尔 6 1991 量子计算和抽象状态机。 Zbl 1021.68037号 埃里希·格拉德尔;安特耶·诺瓦克 6 2003 关于线性时间可计算性的概念。 Zbl 0732.68040号 埃里希·格拉德尔 6 1990 模型检查游戏。 Zbl 1261.68086号 埃里希·格拉德尔 6 2002 微积分的变量层次结构是严格的。 Zbl 1121.68072号 迪特马尔·伯旺格;埃里希·格拉德尔;贾科莫·伦齐 6 2007 相互模拟的自由。 Zbl 1344.03024号 埃里希·格拉德尔;马丁·奥托 6 2014 无限结构的自动表示。 Zbl 1246.03056号 文斯·巴拉尼;埃里希·格拉德尔;萨沙·鲁宾 6 2011 逻辑和自动机。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。 Zbl 1198.03006号 6 2008 具有无限多优先级的游戏的位置确定性。 Zbl 1126.91012号 埃里希·格拉德尔;伊戈尔·瓦卢基维奇 6 2006 自动结构:20年后。 Zbl 1498.03093号 埃里希·格拉德尔 6 2020 通知自动结构和统一的自动类。 Zbl 1434.03099号 法里德·阿布·扎伊德;埃里希·格拉德尔;弗雷德里克·莱因哈特 6 2017 实数上的描述复杂性理论。 Zbl 0861.03034号 埃里希·格拉德尔;克劳斯·米尔 5 1996 传递闭包逻辑、分层数据日志和无限逻辑中的层次结构。 Zbl 0856.03026号 埃里希·格拉德尔;格雷戈里·麦科姆。 5 1996 关于模态演算的变量层次结构。 兹比尔1020.03025 迪特马尔·伯旺格;埃里希·格拉德尔;贾科莫·伦齐 5 2002 为复杂性定制递归。 Zbl 0837.03034号 埃里希·格拉德尔;尤里·古里维奇 5 1995 Domino游戏,应用于具有有界量词交替的布尔代数的复杂性。 Zbl 0651.03030号 埃里希·格拉德尔 5 1988 无限对策的位置确定性。 Zbl 1122.91302号 埃里希·格拉德尔 5 2004 图上的Banach-Mazur游戏。 Zbl 1248.91023号 埃里希·格拉德尔 5 2008 定量演算的模型检验游戏。 Zbl 1205.68243号 戴安娜·菲舍尔;埃里希·格拉德尔;凯撒,乌卡斯 5 2010 定量演算的模型检验游戏。 Zbl 1259.68124号 戴安娜·菲舍尔;埃里希·格拉德尔;卢卡斯·凯泽 5 2008 团队语义中的计数。 兹比尔1370.03044 埃里希·格拉德尔;斯蒂芬·赫格塞尔曼 5 2016 秩逻辑死了,秩逻辑万岁! Zbl 1373.03047号 埃里希·格拉德尔;维德州帕库萨 5 2015 约束数据库的描述复杂性理论。 Zbl 0944.68053号 埃里希·格拉德尔;斯蒂芬·克鲁泽 4 1999 在逻辑和游戏之间来回切换。 Zbl 1244.03108号 埃里希·格拉德尔 4 2011 保护逻辑的游戏和模型检查。 Zbl 1275.68087号 迪特马尔·伯旺格;埃里希·格拉德尔 4 2001 具有小阿贝尔色类的结构上的无选择多项式时间。 兹比尔1426.68106 阿布·扎伊德,F。;Grädel,E。;格罗,M。;西帕库萨。 4 2014 关于二元逻辑的保持定理。 Zbl 0933.03041号 埃里希·格拉德尔;埃里克·罗森 4 1999 二元逻辑的不确定性结果。 Zbl 1498.03026号 埃里希·格拉德尔;马丁·奥托;埃里克·罗森 4 1997 包含逻辑和定点逻辑的游戏。 Zbl 1429.03117号 埃里希·格拉德尔 4 2016 最优化问题:最优解的可表达性、逼近性质和期望渐近增长。 Zbl 0844.68057号 托马斯·贝伦特;凯文·康普顿;埃里希·格拉德尔 三 1993 从前在西方。路径游戏的确定性、可定义性和复杂性。 Zbl 1273.91081号 迪特马尔·伯旺格;埃里希·格拉德尔;斯蒂芬·克鲁泽 三 2003 几乎所有图和广义量词的性质。 Zbl 1197.03037号 阿努吉·达瓦尔;埃里希·格拉德尔 三 2010 群和环上线性方程组的可定义性。 Zbl 1314.68147号 阿努吉·达瓦尔;埃里克·科普钦斯基;比亚尔基·霍尔姆;埃里希·格拉德尔;维德州帕库萨 三 2013 多项式时间是无选择的吗? Zbl 1465.68100号 埃里希·格拉德尔;马丁·格罗 三 2015 具有多团队语义的逻辑。 Zbl 1505.03069号 埃里希·格拉德尔;理查德·威尔克 三 2022 计数函数的逻辑可定义性。 Zbl 0859.68036号 凯文·康普顿。;埃里希·格拉德尔 2 1996 关于确定性传递闭包的威力。 Zbl 0832.68098号 埃里希·格拉德尔;格雷戈里·麦科姆。 2 1995 传递闭包逻辑、分层数据日志和无限逻辑中的层次结构。 兹伯利0925.03161 埃里希·格拉德尔;格雷戈里·麦科姆。 2 1992 关于命题证明复杂性的有限模型理论观点。 Zbl 1451.03023号 埃里希·格拉德尔;马丁·格罗;贝内迪克特·帕戈;维德州帕库萨 2 2019 用一阶解释表征无选择多项式时间。 Zbl 1394.68161号 埃里希·格拉德尔;维德州帕库萨;Svenja Schalthöfer公司;卢卡斯·凯泽 2 2015 具有一个(全部)的公式的可满足性在指数时间内是可判定的。 Zbl 0703.0302号 埃里希·格拉德尔 2 1990 LICS 2001特别版。 Zbl 1365.00062号 2 2003 关于结构复杂性理论中一些概念的逻辑描述。 Zbl 0925.03186号 埃里希·格拉德尔 2 1990 用线性代数算子逼近同构和逻辑。 Zbl 07561605号 阿努吉·达瓦尔;埃里希·格拉德尔;维德州帕库萨 2 2019 逻辑和游戏的起源分析。 Zbl 1485.68151号 埃里希·格拉德尔;Val Tannen公司 2 2020 通过依赖和独立的逻辑统一量子力学中的隐藏变量问题。 Zbl 1513.81002号 拉斐尔·阿尔伯特;埃里希·格拉德尔 2 2022 回溯游戏和通货膨胀固定点。 Zbl 1098.68622号 阿努吉·达瓦尔;埃里希·格拉德尔;斯蒂芬·克鲁泽 1 2004 递归结构的0-1定律。 Zbl 0921.03042号 Grädel,E。;马尔姆斯特罗姆,A。 1 1999 模态逻辑中的膨胀不动点。 Zbl 0999.03019号 A.达瓦尔。;Grädel,E。;Kreutzer,S。 1 2001 秩逻辑死了,秩逻辑万岁! Zbl 1425.68134号 埃里希·格拉德尔;维德州帕库萨 1 2019 通过抽象状态机实现日志空间可缩减性。 Zbl 0952.03050号 埃里希·格拉德尔;马克·斯皮尔曼 1 1999 群和环上线性方程组的可定义性。 Zbl 1252.03083号 阿努吉·达瓦尔;埃里希·格拉德尔;比亚尔基·霍尔姆;科普钦斯基,Eryk;维德州帕库萨 1 2012 Banach-Mazur游戏具有简单的获胜策略。 Zbl 1252.91028号 埃里希·格拉德尔;西蒙·勒埃尼奇 1 2012 纠缠二的有向图。 Zbl 1252.68212号 埃里希·格拉德尔;凯撒,乌卡斯;罗马人拉比诺维奇 1 2009 实数字段不是\(\omega\)-自动的。 Zbl 1254.03074号 法里德·阿布·扎伊德;埃里希·格拉德尔;凯撒,乌卡斯 1 2012 (ω)-自动结构的模型理论属性。 Zbl 1335.03037号 法里德·阿布·扎伊德;埃里希·格拉德尔;凯撒,乌卡斯;维德州帕库萨 1 2014 保护逻辑和数据日志LITE的有效评估方法(摘要)。 Zbl 0988.68690号 埃里希·格拉德尔 1 2000 奇偶对策的离散策略改进算法和有向图的复杂性度量。 Zbl 1303.68066号 费利克斯·卡纳沃伊;埃里希·格拉德尔;罗马人拉比诺维奇 1 2014 依赖性概念直至等效。 Zbl 1528.03145号 埃里希·格拉德尔;马蒂亚斯·霍尔泽尔 1 2018 交换群和半群求和问题的可定义性。 Zbl 1457.68119号 法里德·阿布·扎伊德;阿努吉·达瓦尔;埃里希·格拉德尔;维德州帕库萨 1 2017 保护逻辑的半环形起源。 兹比尔07444308 Katrin M.Dannert。;埃里希·格拉德尔 1 2021 命题证明系统的模型理论表达。 Zbl 1434.03132号 埃里希·格拉德尔;贝内迪克特·帕戈;维德州帕库萨 1 2017 起源分析:描述逻辑的一个视角? Zbl 1443.68177号 Katrin M.Dannert。;埃里希·格拉德尔 1 2019 守卫队:水平守卫的箱子。 Zbl 07650835号 埃里希·格拉德尔;马丁·奥托 1 2020 具有多团队语义的逻辑。 兹比尔1505.03069 埃里希·格拉德尔;理查德·威尔克 三 2022 通过依赖和独立的逻辑统一量子力学中的隐藏变量问题。 Zbl 1513.81002号 拉斐尔·阿尔伯特;埃里希·格拉德尔 2 2022 保护逻辑的半环形起源。 Zbl 07442308号 卡特琳·丹纳特。;埃里希·格拉德尔 1 2021 自动结构:20年后。 Zbl 1498.03093号 埃里希·格拉德尔 6 2020 逻辑和游戏的起源分析。 Zbl 1485.68151号 埃里希·格拉德尔;Val Tannen公司 2 2020 守卫队:水平守卫的箱子。 Zbl 07650835号 埃里希·格拉德尔;马丁·奥托 1 2020 关于命题证明复杂性的有限模型理论观点。 Zbl 1451.03023号 埃里希·格拉德尔;马丁·格罗;贝内迪克特·帕戈;维德州帕库萨 2 2019 用线性代数算子逼近同构和逻辑。 Zbl 07561605号 阿努吉·达瓦尔;埃里希·格拉德尔;维德州帕库萨 2 2019 秩逻辑死了,秩逻辑万岁! Zbl 1425.68134号 埃里希·格拉德尔;维德州帕库萨 1 2019 起源分析:描述逻辑的一个视角? Zbl 1443.68177号 Katrin M.Dannert。;埃里希·格拉德尔 1 2019 依赖性概念直至等效。 Zbl 1528.03145号 埃里希·格拉德尔;马蒂亚斯·霍尔泽尔 1 2018 通知自动结构和统一的自动类。 兹比尔1434.03099 法里德·阿布·扎伊德;埃里希·格拉德尔;弗雷德里克·莱因哈特 6 2017 交换群和半群求和问题的可定义性。 Zbl 1457.68119号 法里德·阿布·扎伊德;阿努吉·达瓦尔;埃里希·格拉德尔;维德州帕库萨 1 2017 命题证明系统的模型理论表达。 Zbl 1434.03132号 埃里希·格拉德尔;贝内迪克特·帕戈;维德州帕库萨 1 2017 团队语义中的计数。 Zbl 1370.03044号 埃里希·格拉德尔;斯特凡·赫塞尔曼 5 2016 包含逻辑和定点逻辑的游戏。 Zbl 1429.03117号 埃里希·格拉德尔 4 2016 秩逻辑死了,秩逻辑万岁! Zbl 1373.03047号 埃里希·格拉德尔;维德州帕库萨 5 2015 多项式时间是无选择的吗? Zbl 1465.68100号 埃里希·格拉德尔;马丁·格罗 三 2015 用一阶解释表征无选择多项式时间。 兹比尔1394.68161 埃里希·格拉德尔;维德州帕库萨;斯文加沙尔特霍夫;卢卡斯·凯泽 2 2015 相互模拟的自由。 Zbl 1344.03024号 埃里希·格拉德尔;马丁·奥托 6 2014 具有小阿贝尔色类的结构上的无选择多项式时间。 Zbl 1426.68106号 阿布·扎伊德,F。;Grädel,E。;格罗,M。;西帕库萨。 4 2014 (ω)-自动结构的模型理论属性。 Zbl 1335.03037号 法里德·阿布·扎伊德;埃里希·格拉德尔;凯撒,乌卡斯;维德州帕库萨 1 2014 奇偶对策的离散策略改进算法和有向图的复杂性度量。 Zbl 1303.68066号 费利克斯·卡纳沃伊;埃里希·格拉德尔;罗马人拉比诺维奇 1 2014 依赖和独立。 Zbl 1272.03125号 埃里希·格拉德尔;Väänänen,茹科 88 2013 不完全信息逻辑的模型检查游戏。 Zbl 1358.68191号 埃里希·格拉德尔 14 2013 群和环上线性方程组的可定义性。 Zbl 1314.68147号 阿努吉·达瓦尔;埃里克·科普钦斯基;比亚尔基·霍尔姆;埃里希·格拉德尔;维德州帕库萨 三 2013 有向图的纠缠和复杂性。 Zbl 1256.05086号 迪特马尔·伯旺格;埃里希·格拉德尔;凯撒,乌卡斯;罗马人拉比诺维奇 13 2012 群和环上线性方程组的可定义性。 Zbl 1252.03083号 阿努吉·达瓦尔;埃里希·格拉德尔;比亚尔基·霍尔姆;埃里克·科普钦斯基;维德州帕库萨 1 2012 Banach-Mazur游戏具有简单的获胜策略。 Zbl 1252.91028号 埃里希·格拉德尔;西蒙·勒埃尼奇 1 2012 实数字段不是\(\omega\)-自动的。 Zbl 1254.03074号 法里德·阿布·扎伊德;埃里希·格拉德尔;凯撒,乌卡斯 1 2012 计算机科学家的博弈论讲座。 Zbl 1214.91003号 32 2011 无限结构的自动表示。 Zbl 1246.03056号 文斯·巴拉尼;埃里希·格拉德尔;萨沙·鲁宾 6 2011 在逻辑和游戏之间来回切换。 Zbl 1244.03108号 埃里希·格拉德尔 4 2011 定量演算的模型检验游戏。 Zbl 1205.68243号 戴安娜·菲舍尔;埃里希·格拉德尔;凯撒,乌卡斯 5 2010 几乎所有图和广义量词的性质。 Zbl 1197.03037号 阿努吉·达瓦尔;埃里希·格拉德尔 三 2010 纠缠二的有向图。 Zbl 1252.68212号 埃里希·格拉德尔;凯撒,乌卡斯;罗马人拉比诺维奇 1 2009 无限多人游戏的解决方案概念和算法。 Zbl 1377.91014号 埃里希·格拉德尔;米歇尔·乌梅尔斯 17 2008 平价游戏的描述性复杂性。 Zbl 1157.68032号 阿努吉·达瓦尔;埃里希·格拉德尔 7 2008 逻辑和自动机。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。 Zbl 1198.03006号 6 2008 图上的Banach-Mazur游戏。 Zbl 1248.91023号 埃里希·格拉德尔 5 2008 定量微积分的模型检验博弈。 Zbl 1259.68124号 戴安娜·菲舍尔;埃里希·格拉德尔;卢卡斯·凯泽 5 2008 有限模型理论及其应用。 Zbl 1133.03001号 埃里希·格拉德尔;Phokion G.科莱蒂斯。;利奥尼德·利金;马滕·马克思;乔尔·斯宾塞;莫舍·瓦尔迪。;威尼玛,伊德;斯科特·温斯坦 52 2007 微积分的变量层次结构是严格的。 Zbl 1121.68072号 迪特马尔·伯旺格;埃里希·格拉德尔;贾科莫·伦齐 6 2007 具有无限多优先级的游戏的位置确定性。 Zbl 1126.91012号 埃里希·格拉德尔;伊戈尔·瓦卢基维奇 6 2006 纠缠度–用于逻辑和游戏应用的有向图复杂性的度量。 Zbl 1109.68080号 迪特马尔·伯旺格;埃里希·格拉德尔 22 2005 无限结构的有限表示:自动机和解释。 Zbl 1061.03038号 阿希姆·布卢门萨特;埃里希·格拉德尔 47 2004 定点逻辑和纸牌游戏。 Zbl 1061.68100号 迪特马尔·伯旺格;埃里希·格拉德尔 7 2004 模态逻辑中的膨胀不动点。 Zbl 1407.03031号 阿努吉·达瓦尔;埃里希·格拉德尔;斯蒂芬·克鲁泽 7 2004 无限对策的位置确定性。 兹比尔1122.91302 埃里希·格拉德尔 5 2004 回溯游戏和通货膨胀固定点。 Zbl 1098.68622号 阿努吉·达瓦尔;埃里希·格拉德尔;斯蒂芬·克鲁泽 1 2004 量子计算和抽象状态机。 Zbl 1021.68037号 埃里希·格拉德尔;安特耶·诺瓦克 6 2003 从前在西方。路径游戏的确定性、可定义性和复杂性。 Zbl 1273.91081号 迪特马尔·伯旺格;埃里希·格拉德尔;斯蒂芬·克鲁泽 三 2003 LICS 2001特别版。 Zbl 1365.00062号 2 2003 自动机、逻辑和无限游戏。当前研究指南。 Zbl 1011.00037号 230 2002 在保护逻辑和模态逻辑之间来回切换。 Zbl 1365.03019号 埃里希·格拉德尔;科林·赫什;马丁·奥托 14 2002 Datalog LITE:带有线性时间模型检查的演绎查询语言。 Zbl 1365.68203号 乔治·戈特洛布;埃里希·格拉德尔;赫尔穆特·维思 8 2002 保护不动点逻辑和可数树的一元理论。 Zbl 1061.03022号 埃里希·格拉德尔 7 2002 模型检查游戏。 Zbl 1261.68086号 埃里希·格拉德尔 6 2002 关于模态演算的变量层次结构。 Zbl 1020.03025号 迪特马尔·伯旺格;埃里希·格拉德尔;贾科莫·伦齐 5 2002 经典的决策问题。平装版。 Zbl 0970.03001号 伊贡博格尔;埃里希·格拉德尔;于古瑞奇(Yu Gurevich)。 32 2001 为什么模态逻辑如此可靠? Zbl 1012.03505号 埃里希·格拉德尔 9 2001 保护逻辑的游戏和模型检查。 Zbl 1275.68087号 迪特马尔·伯旺格;埃里希·格拉德尔 4 2001 模态逻辑中的膨胀不动点。 Zbl 0999.03019号 达瓦尔,A。;Grädel,E。;Kreutzer,S。 1 2001 保护逻辑和数据日志LITE的有效评估方法(摘要)。 Zbl 0988.68690号 埃里希·格拉德尔 1 2000 关于警卫的约束权。 Zbl 0958.03027号 埃里希·格拉德尔 73 1999 关于双变量逻辑。 Zbl 0948.03023号 埃里希·格拉德尔;马丁·奥托 27 1999 二元逻辑的不确定性结果。 Zbl 0927.03015号 埃里希·格拉德尔;马丁·奥托;埃里克·罗森 20 1999 保护逻辑的决策程序。 Zbl 0937.03011号 埃里希·格拉德尔 15 1999 为什么模态逻辑如此可靠? Zbl 0935.03029号 埃里希·格拉德尔 7 1999 约束数据库的描述复杂性理论。 Zbl 0944.68053号 埃里希·格拉德尔;斯蒂芬·克鲁泽 4 1999 关于二变量逻辑的守恒定理。 Zbl 0933.03041号 埃里希·格拉德尔;埃里克·罗森 4 1999 递归结构的0-1定律。 Zbl 0921.03042号 Grädel,E。;马尔姆斯特罗姆,A。 1 1999 通过抽象状态机实现日志空间可缩减性。 Zbl 0952.03050号 埃里希·格拉德尔;马克·斯皮尔曼 1 1999 亚有限模型理论。 Zbl 0892.68033号 埃里希·格拉德尔;尤里·古里维奇 22 1998 经典的决策问题。 Zbl 0865.03004号 伊贡博格尔;埃里希·格拉德尔;于古瑞奇(Yu Gurevich)。 138 1997 关于二元一阶逻辑的决策问题。 Zbl 0873.03009号 埃里希·格拉德尔;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 70 1997 二元逻辑的不确定性结果。 Zbl 1498.03026号 埃里希·格拉德尔;马丁·奥托;埃里克·罗森 4 1997 实数上的描述性复杂性理论。 Zbl 0861.03034号 埃里希·格拉德尔;克劳斯·米尔 5 1996 传递闭包逻辑、分层数据日志和无限逻辑中的层次结构。 Zbl 0856.03026号 埃里希·格拉德尔;格雷戈里·麦科姆。 5 1996 计数函数的逻辑可定义性。 Zbl 0859.68036号 凯文·康普顿。;埃里希·格拉德尔 2 1996 实数上的描述性复杂性理论。 Zbl 0968.68517号 埃里希·格拉德尔;梅尔,克劳斯 13 1995 为复杂性定制递归。 Zbl 0837.03034号 埃里希·格拉德尔;尤里·古里维奇 5 1995 关于确定性传递闭包的威力。 Zbl 0832.68098号 埃里希·格拉德尔;格雷戈里·麦科姆。 2 1995 有限结构计数的归纳可定义性。 兹比尔0792.68061 埃里希·格拉德尔;马丁·奥托 19 1993 最优化问题:最优解的可表达性、逼近性质和期望渐近增长。 Zbl 0844.68057号 托马斯·贝伦特;凯文·康普顿;埃里希·格拉德尔 三 1993 通过二阶逻辑片段捕获复杂类。 Zbl 0780.68040号 埃里希·格拉德尔 19 1992 关于传递闭包逻辑。 Zbl 0783.03012号 Grädel,E。 11 1992 传递闭包逻辑、分层数据日志和无限逻辑中的层次结构。 Zbl 0925.03161号 埃里希·格拉德尔;格雷戈里·麦科姆。 2 1992 二阶霍恩逻辑的表达能力。 Zbl 0773.03006号 埃里希·格拉德尔 6 1991 多米诺游戏和复杂性。 Zbl 0711.68044号 埃里希·格拉德尔 9 1990 关于线性时间可计算性的概念。 Zbl 0732.68040号 埃里希·格拉德尔 6 1990 具有一个(全部)的公式的可满足性在指数时间内是可判定的。 兹比尔0703.03002 埃里希·格拉德尔 2 1990 关于结构复杂性理论中一些概念的逻辑描述。 Zbl 0925.03186号 埃里希·格拉德尔 2 1990 Dominoes和逻辑理论子类的复杂性。 Zbl 0665.03027号 埃里希·格拉德尔 12 1989 普雷斯伯格算法的子类和多项式时间层次结构。 Zbl 0665.03026号 埃里希·格拉德尔 12 1988 Domino游戏,应用于具有有界量词交替的布尔代数的复杂性。 Zbl 0651.03030号 埃里希·格拉德尔 5 1988 所有引用出版物 前5名被引用出版物 全部的 前5名1115位作者引用 32 埃里希·格拉德尔 17 马丁·齐默尔曼 16 朱哈·科廷宁 14 彼得罗·加利亚尼 14 马丁·格罗 13 克里斯特尔·拜尔 13 阿努吉·达瓦尔 13 莫西·亚亚科夫·瓦尔迪 13 乔尼·维尔特玛 12 Väänänen,Jouko Antero 12 Van den Bussche,简 11 托马斯·布里海耶 11 托马斯·亨辛格(Thomas A.Henzinger)。 11 法比奥·莫加维罗 11 伊恩·普拉特·哈特曼 11 Jean-François拉斯金 11 杨,范 10 维罗尼克·布鲁埃 10 克里希南德·查特吉 10 Miika Hannula公司 10 桑杰·贾恩 10 马库斯·洛伊 10 马丁·奥托 10 弗兰克·斯蒂芬 10 van Benthem,Johan F.A.K。 9 迪特马尔·伯旺格 9 Stéphane P.德姆里。 9 尤里·古里维奇 9 安吉洛·蒙塔纳里 9 丹尼尔·奈德 9 十个Cate,Balder David 9 沃尔夫冈·托马斯 9 迈克尔·维克托洛维奇(Michael Viktorovich) 8 Michael A.Benedikt。 8 马西莫·贝内雷切蒂 8 劳伦特·多恩 8 乔治·戈特洛布 8 斯蒂芬·克鲁泽 8 圣埃芬·勒鲁 8 圭多·西亚维科 8 赫里贝特·沃尔默 8 弗兰克·沃尔特 7 阿夫尼,盖伊 7 戈敏,阿琳 7 瓦伦丁·F·戈兰科。 7 劳里·T·海拉。 7 Kuske,迪特里希 7 阿恩·迈尔 7 米凯尔·兰多尔 7 维尼马,伊德 6 福斯托·巴贝罗 6 Nathalie Bertrand 6 贝内迪克特·博利格 6 帕特里夏·鲍耶 6 奥利维·芬克尔 6 弗洛里斯·吉尔茨 6 Bakhadyr M.库萨诺夫。 6 伊曼纽尔·基伦斯基 6 约阿希姆·克莱因 6 Phokion G.科莱蒂斯。 6 刘嘉谋 6 克劳斯·米尔 6 劳伦斯·莫斯。 6 阿尼埃洛·穆拉诺 6 保利,阿诺·M。 5 文斯·巴拉尼 5 Mikołaj博扬奇克 5 大卫·布雷索林 5 费利佩·库克 5 黛拉·莫妮卡,达里奥 5 丹妮尔·德尔巴 5 阿诺·杜兰德 5 布鲁诺·杜兰德 5 艾曼纽·菲利奥特 5 杰诺斯·弗莱希 5 保罗·加斯丁 5 马库斯·格勒 5 安蒂·库西斯托 5 林克,塞巴斯蒂安 5 克里斯托夫·勒丁 5 马丁·吕克 5 约翰·安德烈亚斯·马科夫斯基 5 维德州帕库萨 5 亚历山大·拉比诺维奇 5 雷恩·Rönnholm 5 米哈伊尔·尼古拉埃维奇·里巴科夫 5 皮埃特罗·萨拉 5 托马斯·施文蒂克 5 Micha Skrzypczak 5 亚历山大·韦内特 5 法里德·阿布·扎伊德 4 卡洛斯·阿雷塞斯 4 巴托斯·贝德纳西克 4 安德烈亚斯·拉斐尔·布拉斯 4 皮埃尔·布赫斯 4 托马斯·科尔科姆贝特 4 De Oliveira奥利维拉,马特乌斯 4 托马斯·艾特 4 盖尔·方丹 4 奥利弗·弗里德曼 …还有1015名作者 全部的 前5名89篇连载文章中引用 81 理论计算机科学 67 信息与计算 46 纯逻辑与应用逻辑年鉴 37 计算机科学中的逻辑方法 32 计算机与系统科学杂志 25 符号逻辑杂志 23 ACM计算逻辑事务 22 计算系统理论 16 逻辑、语言与信息杂志 15 人工智能 15 信息处理信件 13 信息学报 12 自动推理杂志 12 系统设计中的形式化方法 12 数学逻辑季刊(MLQ) 11 数学与人工智能年鉴 10 Studia Logica公司 9 符号逻辑公报 7 离散应用数学 7 哲学逻辑杂志 7 应用非经典逻辑杂志 6 SIAM计算机杂志 6 计算机科学中的数学结构 6 国际计算机科学基础杂志 6 数学逻辑档案 6 应用逻辑杂志 5 符号计算杂志 5 国际近似推理杂志 5 RAIRO公司。理论信息学及其应用 4 离散事件动态系统 4 计算机基础理论 4 逻辑程序设计理论与实践 4 符号逻辑述评 4 程序设计中的逻辑和代数方法杂志 三 Automatica公司 三 圣母院形式逻辑杂志 三 美国数学学会会刊 三 算法 三 计算的形式方面 三 计算机科学前沿 2 国际博弈论杂志 2 合成 2 复杂性杂志 2 人工智能研究杂志 2 美国医学会杂志 2 国际博弈论综述 2 逻辑与代数程序设计杂志 2 中欧数学杂志 2 离散优化 2 泛逻辑 2 莫斯科组合数学与数论杂志 2 Logicheskie Issledovaniya公司 1 离散数学 1 数学信使 1 代数普遍性 1 模糊集与系统 1 组合理论杂志。系列A 1 组合理论杂志。B系列 1 图论杂志 1 统计规划与推断杂志 1 运筹学数学 1 数学系统理论 1 半群论坛 1 西伯利亚数学杂志 1 理论与决策 1 遍历理论和动力系统 1 优化 1 离散和计算几何 1 运筹学年鉴 1 随机结构与算法 1 国际代数与计算杂志 1 数学与应用杂志。Neuvième Série 1 模式识别 1 数学编程。A系列B系列 1 国际计算机与系统科学杂志 1 数学科学杂志(纽约) 1 经济理论 1 选择Mathematica。新系列 1 复杂性 1 约束条件 1 Doklady数学 1 洛巴切夫斯基数学杂志 1 计算数学基础 1 离散算法杂志 1 非线性分析。混合动力系统 1 科学中国。信息科学 1 编年史:帕达戈吉大学(Paedagogicae Cracoviensis)。数学研究所 1 动态游戏和应用 1 计算机科学评论 全部的 前5名30个领域被引用 683 计算机科学(68至XX) 562 数学逻辑和基础(03-XX) 172 博弈论、经济学、金融和其他社会和行为科学(91-XX) 63 组合数学(05-XX) 14 运筹学、数学规划(90-XX) 14 系统理论;控制(93至XX) 13 概率论与随机过程(60-XX) 12 群论与推广(20-XX) 9 范畴理论;同调代数(18-XX) 7 阶、格、有序代数结构(06-XX) 6 一般代数系统(08-XX) 6 统计学(62-XX) 5 历史和传记(01-XX) 5 线性代数和多线性代数;矩阵理论(15-XX) 4 动力系统和遍历理论(37至XX) 4 凸和离散几何(52至XX) 4 一般拓扑结构(54至XX) 4 信息与通信理论、电路(94-XX) 2 一般性和全局性主题;集合(00-XX) 2 数论(11-XX) 2 测量和集成(28-XX) 1 场论和多项式(12-XX) 1 代数几何(14-XX) 1 结合环与代数(16-XX) 1 实际功能(26年X月X日) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 流形和细胞复合体(57至XX) 1 量子理论(81-XX) 1 数学教育(97-XX) 按年份列出的引文