编辑配置文件(在新选项卡中打开) 约翰内斯·沃尔德曼 合著者距离 作者ID: 沃尔德曼·约翰斯 发布日期: 约翰内斯·沃尔德曼 外部链接: MGP公司 已编制索引的文档: 34出版物自1998年以来,包括1本书 合著者: 20位合著者具有25联合出版物 313合著作者 全部的 前5名合著者 9 单作者的 12 迪特尔·霍夫鲍尔 8 阿尔芬斯·盖瑟 7 汉斯·赞特玛 4 恩德鲁利斯,约尔格 2 罗德·德弗里杰尔 2 亚当·科布罗斯基 2 乔治·莫瑟 1 亚历山大·鲍 1 安德烈亚斯·格伯哈特 1 吉尔根·吉斯尔 1 马库斯·洛伊 1 弗雷德里克·梅斯纳德 1 阿尔特·米德尔多普 1 弗里德里希·纽罗特 1 冈杜拉·尼曼 1 埃里克·诺思 1 阿尔伯特·鲁比奥 1 安德烈亚斯·施纳布尔 1 雷内·蒂曼 1 哈拉尔德·赞克 全部的 前5名系列 2 控制论学报 2 信息与计算 2 自动推理杂志 1 信息处理信件 1 理论计算机科学 1 国际计算机科学基础杂志 1 工程、通信和计算中的应用代数 1 自动机、语言和组合数学杂志 1 计算机科学中的逻辑方法 领域 33 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 结合环与代数(16-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用258次127文件 引用人▼ 年份▼ 用于证明术语重写终止的矩阵解释。 Zbl 1139.68049号 恩德鲁利斯,约尔格;约翰内斯·沃尔德曼;汉斯·赞特玛 52 2008 匹配边界字符串重写系统。 Zbl 1101.68048号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 17 2004 删除字符串重写系统可以保持规则性。 Zbl 1071.68034号 迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 15 2004 证明左线性项重写系统终止的树自动机。 Zbl 1112.68077号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特玛 15 2007 用于证明术语重写终止的矩阵解释。 Zbl 1222.68362号 恩德鲁利斯,约尔格;约翰内斯·沃尔德曼;汉斯·赞特玛 13 2006 用矩阵解释终止字符串重写。 Zbl 1151.68447号 迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 13 2006 基于矩阵和上下文相关解释的术语重写的复杂性分析。 Zbl 1248.68278号 乔治·莫瑟;安德烈亚斯·施纳布尔;约翰内斯·沃尔德曼 12 2008 用于终止术语重写的Max/Plus树自动机。 Zbl 1224.68041号 亚当·科普洛夫斯基;约翰内斯·沃尔德曼 11 2009 局部终止:理论和实践。 Zbl 1211.68085号 约尔格·恩德鲁利斯;罗德·德弗里杰尔;约翰内斯·沃尔德曼 10 2010 北极终端\(\点\)低于零。 Zbl 1145.68450号 亚当·科普洛夫斯基;约翰内斯·沃尔德曼 10 2008 寻找证明字符串重写系统终止的有限自动机。 Zbl 1097.68052号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特玛 7 2005 多项式有界矩阵解释。 Zbl 1236.68155号 约翰内斯·沃尔德曼 6 2010 匹配边界字符串重写系统。 Zbl 1124.68378号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 6 2003 通过准周期解释终止。 Zbl 1203.68081号 汉斯·赞特玛;约翰内斯·沃尔德曼 6 2007 组合子S。 Zbl 1005.03017号 约翰内斯·沃尔德曼 6 2000 一些与Church-Rosser同余的常规语言。 Zbl 1073.68049号 冈杜拉·尼曼;约翰内斯·沃尔德曼 6 2002 终止\(\{aa\rightarrow bc,bb\rightarrow ac,cc\right箭头ab\}\)。 兹比尔1187.68527 迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 6 2006 证明左线性项重写系统终止的树自动机。 Zbl 1078.68062号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特玛 6 2005 重写系统复杂度自动分析的联合谱半径理论。 Zbl 1307.68042号 阿尔特·米德尔多普;乔治·莫瑟;弗里德里希·诺伊劳特;约翰内斯·沃尔德曼;哈拉尔德·赞克 6 2011 通过反向匹配边界证明字符串重写系统的终止性。 Zbl 1105.68054号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 6 2005 终止竞争(术语COMP 2015)。 Zbl 1465.68282号 吉尔根·吉斯尔;弗雷德里克·梅斯纳德;阿尔伯特·鲁比奥;雷内·蒂曼;约翰内斯·沃尔德曼 6 2015 证明字符串重写终止的加权自动机。 Zbl 1149.68399号 约翰内斯·沃尔德曼 5 2007 重写游戏。 Zbl 1045.68078号 约翰内斯·沃尔德曼 三 2002 本地终止。 Zbl 1242.68130号 恩德鲁利斯,约尔格;罗德·德弗里杰尔;约翰内斯·沃尔德曼 三 2009 删除字符串重写系统可以保持规则性。 Zbl 1037.68069号 迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 2 2003 自动终止。 Zbl 1242.68143号 约翰内斯·沃尔德曼 2 2009 寻找证明字符串重写终止的有限自动机。 Zbl 1115.68433号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特玛 2 2005 多面体域上的矩阵解释。 Zbl 1366.68129号 约翰内斯·沃尔德曼 2 2015 加权自动机定义了终止字符串重写系统的层次结构。 Zbl 1224.68040号 安德烈亚斯·格伯哈特;约翰内斯·沃尔德曼 1 2009 S项的归一化是可判定的。 兹伯利0903.03019 约翰内斯·沃尔德曼 1 1998 用于终止分析的重写系统的压缩。 Zbl 1356.68116号 亚历山大·鲍;马库斯·洛伊;埃里克·诺思;约翰内斯·沃尔德曼 1 2011 有效完成加权自动机。 Zbl 1483.68152号 约翰内斯·沃尔德曼 1 2016 有效完成加权自动机。 Zbl 1483.68152号 约翰内斯·沃尔德曼 1 2016 终止竞争(术语COMP 2015)。 Zbl 1465.68282号 吉尔根·吉斯尔;弗雷德里克·梅斯纳德;阿尔伯特·鲁比奥;雷内·蒂曼;约翰内斯·沃尔德曼 6 2015 多面体域上的矩阵解释。 兹比尔1366.68129 约翰内斯·沃尔德曼 2 2015 重写系统复杂度自动分析的联合谱半径理论。 Zbl 1307.68042号 阿尔特·米德尔多普;乔治·莫瑟;弗里德里希·纽罗特;约翰内斯·沃尔德曼;哈拉尔德·赞克 6 2011 用于终止分析的重写系统的压缩。 Zbl 1356.68116号 亚历山大·鲍;马库斯·洛伊;埃里克·诺思;约翰内斯·沃尔德曼 1 2011 局部终止:理论与实践。 Zbl 1211.68085号 恩德鲁利斯,Joerg;罗德·德弗里杰尔;约翰内斯·沃尔德曼 10 2010 多项式有界矩阵解释。 Zbl 1236.68155号 约翰内斯·沃尔德曼 6 2010 用于终止术语重写的Max/Plus树自动机。 Zbl 1224.68041号 亚当·科普洛夫斯基;约翰内斯·沃德曼 11 2009 本地终止。 Zbl 1242.68130号 恩德鲁利斯,约尔格;罗德·德弗里杰尔;约翰内斯·沃尔德曼 三 2009 自动终止。 Zbl 1242.68143号 约翰内斯·沃尔德曼 2 2009 加权自动机定义了终止字符串重写系统的层次结构。 Zbl 1224.68040号 安德烈亚斯·格伯哈特;约翰内斯·沃尔德曼 1 2009 用于证明术语重写终止的矩阵解释。 Zbl 1139.68049号 恩德鲁利斯,约尔格;约翰内斯·沃尔德曼;汉斯·赞特玛 52 2008 基于矩阵和上下文相关解释的术语重写复杂性分析。 Zbl 1248.68278号 乔治·莫瑟;安德烈亚斯·施纳布尔;约翰内斯·沃德曼 12 2008 北极终端\(\点\)低于零。 Zbl 1145.68450号 亚当·科普洛夫斯基;约翰内斯·沃尔德曼 10 2008 证明左线性项重写系统终止的树自动机。 Zbl 1112.68077号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特玛 15 2007 通过准周期解释终止。 Zbl 1203.68081号 汉斯·赞特玛;约翰内斯·沃尔德曼 6 2007 证明字符串重写终止的加权自动机。 兹比尔1149.68399 约翰内斯·沃尔德曼 5 2007 用于证明术语重写终止的矩阵解释。 Zbl 1222.68362号 恩德鲁利斯,约尔格;约翰内斯·沃尔德曼;汉斯·赞特玛 13 2006 用矩阵解释终止字符串重写。 Zbl 1151.68447号 迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 13 2006 终止\(\{aa\rightarrow bc,bb\rightarrow ac,cc\rightarrow ab\}\)。 Zbl 1187.68527号 迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 6 2006 寻找证明字符串重写系统终止的有限自动机。 Zbl 1097.68052号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特玛 7 2005 证明左线性项重写系统终止的树自动机。 Zbl 1078.68062号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特玛 6 2005 通过反向匹配边界证明字符串重写系统的终止性。 Zbl 1105.68054号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 6 2005 寻找证明字符串重写终止的有限自动机。 Zbl 1115.68433号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特玛 2 2005 匹配边界字符串重写系统。 Zbl 1101.68048号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 17 2004 删除字符串重写系统可以保持规则性。 Zbl 1071.68034号 迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 15 2004 匹配边界字符串重写系统。 Zbl 1124.68378号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 6 2003 删除字符串重写系统可以保持规则性。 Zbl 1037.68069号 迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼 2 2003 一些与Church-Rosser同余的常规语言。 Zbl 1073.68049号 冈杜拉·尼曼;约翰内斯·沃尔德曼 6 2002 重写游戏。 兹比尔1045.68078 约翰内斯·沃尔德曼 三 2002 组合子S。 Zbl 1005.03017号 约翰内斯·沃尔德曼 6 2000 S项的归一化是可判定的。 Zbl 0903.03019号 约翰内斯·沃尔德曼 1 1998 所有引用出版物 前5名被引用出版物 全部的 前5名150位作者引用 16 阿尔特·米德尔多普 13 约翰内斯·沃尔德曼 11 吉尔根·吉斯尔 10 恩德鲁利斯,约尔格 10 萨尔瓦多卢卡斯 8 乔治·莫瑟 8 雷内·蒂曼 8 汉斯·赞特玛 7 哈拉尔德·赞克 6 Nao Hirokawa 6 迪特尔·霍夫鲍尔 6 彼得·施奈德·坎普 6 Akihisa山田 5 卡斯滕·福斯 5 阿尔芬斯·盖瑟 5 劳尔·古铁雷斯 5 迪米特里·亨德里克斯 4 扬·威廉·克鲁普 4 彼得·鲁波尔德 三 马丁·阿文齐尼 三 H.J.Sander,布鲁金克 三 费边·埃姆斯 三 弗洛里安·弗洛恩 三 托马斯·杰奈特 三 塞尔吉奥·格雷科 三 亚当·科普洛夫斯基 三 马丁·科尔普 三 直纪西田 三 克里斯蒂安·斯特纳格尔 三 伊琳娜·特鲁比通娜 三 德国维达尔 三 莎拉·温克勒 2 斯科特·亚伦森 2 科尼利厄斯·阿斯切尔曼 2 弗雷德里克·布兰基 2 马可·卡洛蒂 2 迈克尔·科迪什 2 罗德·德弗里杰尔 2 沃尔克·迪克特 2 萨缪尔·吉拉乌多 2 杰拉·亨塞尔 2 Heule,Marijn J.H。 2 何塞·伊波拉 2 伊藤、马萨米 2 佛罗伦萨·杰克马尔 2 朱哈尼·卡鲁马基 2 巴巴拉·科尼格 2 辛西娅·科普 2 曼弗雷德·库夫莱特纳 2 米查尔·库克 2 米歇尔·拉特奥 2 何塞·梅塞盖尔·瓜伊塔 2 维克托·米特拉纳 2 克里斯蒂安·莫里纳罗 2 拉斯·诺辛斯基 2 亚历山大·奥霍金 2 卡斯滕·奥托 2 Overbeek,罗伊 2 埃里克·保罗 2 罗斯、伊夫斯 2 安德烈亚斯·施纳布尔 2 托马斯·斯特罗德 2 埃姆雷·约尔库 1 谢尔盖·伊万诺维奇·阿德扬 1 阿勒科恩,比阿特丽兹 1 瓦鲁赞·S·阿塔贝基安。 1 埃利尼·巴卡利 1 雷娜·巴赫西 1 马丁·博德利 1 贝克列米舍夫,列夫·D。 1 纪尧姆·邦芬特 1 克里斯蒂娜·博拉莱拉斯 1 马克·布罗克施米特 1 马蒂奥·卡瓦利埃 1 Panagiotis切拉里斯 1 丹尼·德·施雷耶 1 弗洛里安·德洛普。 1 曼弗雷德·德罗斯特 1 埃里克·杜希恩 1 艾琳·杜兰德。 1 江口、闹喜 1 斯蒂芬·福克 1 伯特伦·费尔根豪尔 1 福塔基斯,Dimitris A。 1 弗勒,马丁 1 马修·吉拉德 1 克莱门斯,抓斗手 1 伯恩哈德·格拉姆利希 1 Victor S.古巴。 1 郭丽叶 1 Helle Hvid Hansen先生 1 安托万·亨罗 1 马库斯·霍尔泽 1 Mirai池沼 1 Joosten,Sebastian J.C。 1 托马斯·尤金斯基 1 塞萨里·卡利西克 1 吉原小岛 1 科斯塔斯·库特拉斯。 1 亚历山大·克劳斯 …还有50多位作者 全部的 前5名21篇连载文章中引用 20 自动推理杂志 13 理论计算机科学 11 信息与计算 6 计算机科学中的逻辑方法 4 程序设计中的逻辑和代数方法杂志 三 MSCS公司。计算机科学中的数学结构 三 计算系统理论 三 逻辑程序设计理论与实践 2 符号计算杂志 2 工程、通信和计算中的应用代数 1 信息学报 1 信息处理信件 1 数学笔记 1 俄罗斯数学调查 1 国际计算机科学基础杂志 1 函数编程杂志 1 数学与人工智能年鉴 1 联合国证券交易所 1 离散数学和理论计算机科学。DMTCS公司 1 逻辑与代数程序设计杂志 1 RAIRO公司。理论信息学及其应用 全部的 前5名13个领域引用 122 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 三 群论与推广(20-XX) 2 组合数学(05-XX) 2 阶、格、有序代数结构(06-XX) 2 代数几何(14-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文