编辑配置文件(在新选项卡中打开) 汉斯·赞特马 合著者距离 作者ID: 赞特马·汉斯 发布日期: 汉斯·赞特马;H.赞蒂玛。 外部链接: MGP公司·维基数据·数据库许可证·ID参考 已编制索引的文档: 98出版物自1980年以来 1名编辑贡献 合著者: 56位合著者具有75联合出版物 1504合著作者 全部的 前5名合著者 24 单作者的 10 阿尔芬斯·盖瑟 7 约尔格恩德鲁利斯 7 阿尔特·米德尔多普 7 约翰内斯·沃尔德曼 6 唐,亨克 5 玛丽亚·费雷拉。 5 Jan Friso,格鲁特 4 迪特尔·霍夫鲍尔 4 奥尔加·特维雷蒂纳 4 范德波尔,扬·科内利斯 三 维布·博斯马 三 H.J.Sander,布鲁金克 三 米歇尔·德·邦德 三 吉尔根·吉斯尔 三 巴巴拉·科尼格 三 亚当·科普洛夫斯基 三 埃诺·奥勒布什 2 Bodlaender,Hans L。 2 简·赫尔曼·杰弗斯 2 大崎,Hitoshi 2 拉斐尔西珀,马提亚斯 2 大卫·萨贝尔 1 阿坤、奥祖尔 1 巴哈雷赫巴德班 1 Bodlaender,Marijke Hans L。 1 博什纳奇·德拉甘 1 巴斯·布鲁尔 1 阿杰·马赛尔·科恩 1 安德里亚·科拉迪尼 1 埃里克·P·德文克。 1 鲁巴哈吉·奥马尔 1 威廉·扬·福克金 1 伊恩·菲利普·根特 1 克莱门斯,抓斗手 1 迪米特里·亨德里克斯 1 科尔·A·J·赫肯斯。 1 Jeroen J.A.Keiren。 1 加林·基梅尔 1 谢尔盖·基塔耶夫 1 鲁德·P·J·科伦。 1 文森特·库斯特斯。 1 贝鲁斯·托克·拉达尼 1 穆萨扎德 1 诺尔特,丹尼斯 1 彼得·施奈德·坎普 1 雅各布·格鲁·西蒙森 1 辛兹,卡斯滕 1 斯坦斯,弗兰克 1 安娜·斯特拉马格里亚 1 阿伦·斯塔姆 1 雷内·蒂曼 1 文森特·范·奥斯特罗姆 1 H·R·J·沃尔特斯。 1 弗里克·威迪杰克 1 Tim A.C.Willemse。 1 格哈德·沃金格 全部的 前5名系列 7 信息与计算 4 国际计算机科学基础杂志 4 工程、通信和计算中的应用代数 三 自动机、语言和组合数学杂志 三 计算机科学中的逻辑方法 2 数学手稿 2 理论计算机科学 2 符号计算杂志 2 自动推理杂志 1 离散应用数学 1 《Reine und Angewandte Mathematik》杂志 1 算法杂志 1 波兰数学年鉴。系列IV 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 SIAM审查 1 Indagationes Mathematicae公司。新系列 1 Fractals公司 1 RIMS Kokyuroku公司 1 整数序列杂志 1 RAIRO公司。理论信息学及其应用 1 尼乌档案馆(Nieuw Archief voor Wiskunde)。Vijfde系列 1 逻辑与代数程序设计杂志 1 计算与信息学 1 WSEAS数学汇刊 1 可满足性、布尔建模与计算杂志 1 计算机科学科学年鉴 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名字段 86 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 8 数论(11-XX) 三 总体主题;集合(00-XX) 三 组合数学(05-XX) 三 场论和多项式(12-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 群论与推广(20-XX) 2 概率论与随机过程(60-XX) 2 生物学和其他自然科学(92-XX) 1 代数几何(14-XX) 1 测量和集成(28-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 83出版物有被引用581中的次329文件 引用人▼ 年份▼ 用于证明术语重写终止的矩阵解释。 Zbl 1139.68049号 约尔格恩德鲁利斯;约翰内斯·沃尔德曼;汉斯·赞特马 52 2008 术语重写的终止:解释和类型删除。 Zbl 0810.68087号 H.赞蒂玛。 50 1994 通过语义标记终止术语重写。 Zbl 0839.68050号 H.赞蒂玛。 49 1995 数字字段上的整值多项式。 Zbl 0505.12003年 H.赞蒂玛。 45 1982 上下文相关重写的终止。 Zbl 1379.68207号 H.赞蒂玛。 18 1997 自动证明字符串重写的终止。 Zbl 1102.68649号 H.赞蒂玛。 17 2005 证明左线性项重写系统终止的树自动机。 Zbl 1112.68077号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特马 15 2007 用于证明术语重写终止的矩阵解释。 Zbl 1222.68362号 约尔格恩德鲁利斯;约翰内斯·沃尔德曼;汉斯·赞特马 13 2006 分辨率图和二元决策图不能用多项式相互模拟。 Zbl 1029.68129号 J.F.格罗特。;H.赞蒂玛。 11 2003 重写系统的简单终止。 Zbl 0903.68106号 阿尔特·米德尔多普;汉斯·赞特马 11 1997 部分自动机中同步字长的下界。 Zbl 1415.68125号 米歇尔·德·邦德;唐,亨克;汉斯·赞特马 11 2019 术语重写的完全终止。 Zbl 0847.68054号 费雷拉,M.C.F。;赞特玛,H。 10 1996 非驻留字符串重写。 Zbl 0951.68054号 阿尔芬斯·盖瑟;汉斯·赞特马 10 1999 同步字长最短的DFA和PFA。 Zbl 1410.68201号 米歇尔·德·邦德;唐,亨克;汉斯·赞特马 9 2017 术语重写中的不确定性程度。 兹比尔1257.68093 约尔格恩德鲁利斯;赫尔曼·格乌弗斯;汉斯·赞特马 8 2009 平方度是一个原子。 Zbl 1330.68154号 约尔格恩德鲁利斯;克莱门斯,抓斗手;迪米特里·亨德里克斯;汉斯·赞特马 7 2015 通过自标记转换终端。 Zbl 0939.68684号 玛丽亚·费雷拉。;阿尔特·米德尔多普;大崎,Hitoshi;汉斯·赞特马 7 1995 术语重写的终止层次结构。 Zbl 0973.68099号 H.赞蒂玛。 7 2001 (0^p1^q到1^r0^s)终止的完整表征。 Zbl 0962.68086号 汉斯·赞特马;阿尔芬斯·盖瑟 7 2000 术语重写的完全终止是不可判定的。 Zbl 0843.68047号 汉斯·赞特马 7 1995 寻找证明字符串重写系统终止的有限自动机。 Zbl 1097.68052号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特马 7 2005 无限项的规范化。 Zbl 1146.68042号 汉斯·赞特马 7 2008 灰姑娘与邪恶的继母。 Zbl 1362.91011号 Bodlaender,Marijke Hans L。;科尔·A·J·赫肯斯。;文森特·库斯特斯。;斯坦斯,弗兰克;Gerhard J.Woeginger。;汉斯·赞特马 7 2012 通过矩阵解释证明术语重写终止的证明。 Zbl 1132.68431号 亚当·科普洛夫斯基;汉斯·赞特马 7 2008 通过解释终止术语重写。 Zbl 1508.68181号 H.赞蒂玛。 7 1993 自动证明最外层终止的转换方法。 兹比尔1294.68099 拉斐尔西珀,马提亚斯;汉斯·赞特马 6 2009 术语重写中的相对不确定性。二: 汇流层次结构。 Zbl 1012.68097号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 6 2002 证明左线性项重写系统终止的树上自动机。 Zbl 1078.68062号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特马 6 2005 用有限自动机证明非终结性。 Zbl 1366.68115号 约尔格恩德鲁利斯;汉斯·赞特马 6 2015 重写中的不确定性级别。 Zbl 1210.68064号 约尔格恩德鲁利斯;赫尔曼·格乌弗斯;雅各布·格鲁·西蒙森;汉斯·赞特马 6 2011 通过终止实现流的良好定义。 Zbl 1239.68037号 汉斯·赞特马 6 2009 准周期性解释终止。 Zbl 1203.68081号 汉斯·赞特马;约翰内斯·沃尔德曼 6 2007 通过自标记转换终端。 Zbl 1412.68112号 阿尔特·米德尔多普;大崎,Hitoshi;汉斯·赞特马 6 1996 虚拟消除:使终止更容易。 Zbl 1503.68107号 费雷拉,M.C.F。;H.赞蒂玛。 6 1995 术语重写的完全终止。 Zbl 1503.68106号 费雷拉,M.C.F。;H.赞蒂玛。 6 1993 (0^p 1^q到1^r 0^s)的终止的完整表征。 Zbl 1503.68170号 汉斯·赞特马;阿尔芬斯·盖瑟 6 1995 图变换系统的终止分析。 Zbl 1417.68074号 H.J.Sander,布鲁金克;巴巴拉·科尼格;汉斯·赞特马 5 2014 完全终止的句法分析。 Zbl 0988.68556号 费雷拉,M.C.F。;H.赞蒂玛。 5 1994 证明无限数据结构的生产力。 Zbl 1236.68056号 汉斯·赞特马;拉斐尔西珀,马提亚斯 5 2010 术语重写中的相对不确定性。 Zbl 0884.68067号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 5 1997 关于双传递置换群的计算。 Zbl 0515.20002号 科恩,A.M。;H.赞蒂玛。 5 1984 循环重写终止。 Zbl 1416.68095号 汉斯·赞特马;巴巴拉·科尼格;H.J.Sander,布鲁金克 4 2014 无限标记重写系统的递归路径排序自动化。 Zbl 1222.68366号 亚当·科布罗斯基;汉斯·赞特马 4 2006 术语重写中的相对不确定性。一: 终止层次结构。 Zbl 1012.68096号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 4 2002 二进制决策图的重写方法。 Zbl 1015.68086号 汉斯·赞特马;范德波尔(Jaco van de Pol) 4 2001 最长分段问题。 Zbl 0745.68062号 H.赞蒂玛。 4 1992 利用半环上的加权型图证明图变换系统的终止性。 Zbl 1321.68326号 H.J.Sander,布鲁金克;巴巴拉·科尼格;诺尔特,丹尼斯;汉斯·赞特马 4 2015 同步非确定性有限自动机。 Zbl 1419.68060号 唐,亨克;汉斯·赞特马 4 2018 推广DPLL和等式的可满足性。 Zbl 1121.68102号 巴哈雷赫巴德班;范德波尔(Jaco Van De Pol);奥尔加·特维雷蒂纳;汉斯·赞特马 三 2007 重写中的三角剖分。 Zbl 1437.68089号 文森特·范·奥斯特罗姆;汉斯·赞特马 三 2012 将循环重写转换为字符串重写。 Zbl 1366.68127号 大卫·萨贝尔;汉斯·赞特马 三 2015 找到具有最大最短同步字长度的DFA。 Zbl 1487.68144号 唐,亨克;汉斯·赞特马 三 2017 简单类型的重写视图。 Zbl 1272.03142号 阿伦·斯塔姆;加林·金梅尔;汉斯·赞特马;鲁巴哈吉·奥马尔 三 2013 重写的生动性。 Zbl 1038.68067号 吉尔根·吉斯尔;汉斯·赞特马 三 2003 用改写证明生动和公平。 Zbl 1171.68513号 亚当·科布罗斯基;汉斯·赞特马 三 2005 重写整数算术系统。 Zbl 1503.68168号 H·R·沃尔特斯。;H.赞蒂玛。 三 1995 很难找到小的等效决策树。 Zbl 1319.68103号 汉斯·赞特马;Bodlaender,Hans L。 2 2000 寻找证明字符串重写终止的有限自动机。 Zbl 1115.68433号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特马 2 2005 用固定的字母大小缓慢同步自动机。 Zbl 1497.68258号 唐,亨克;汉斯·赞特马;米歇尔·德·邦德 2 2021 通过转换和终止来明确流的定义。 Zbl 1208.68110号 汉斯·赞特马 2 2010 形态序列的海龟图形。 Zbl 1342.28026号 汉斯·赞特马 2 2016 最小化加法链的总和。 Zbl 0728.11018号 H.赞蒂玛。 2 1991 有序二元决策图、鸽子洞公式等。 Zbl 1221.68105号 奥尔加·特维雷蒂纳;卡斯滕·辛兹;汉斯·赞特马 2 2010 减少终端右侧。 Zbl 1171.68520号 汉斯·赞特马 2 2005 数字域分支的全球限制。 Zbl 0519.12005号 H.赞蒂玛。 2 1983 自动序列的复杂性。 Zbl 07601275号 汉斯·赞特马;维布·博斯马 2 2022 术语重写中的类型删除。 Zbl 1508.68180号 H.赞蒂玛。 2 1993 通过置换换能器对序列进行排序。 Zbl 1353.05006号 维布·博斯马;汉斯·赞特马 2 2017 通过置换变换器对非周期序列进行分类。 Zbl 1494.68152号 汉斯·赞特马;维布·博斯马 1 2017 寻找抽象重写属性的小反例。 Zbl 1398.68287号 汉斯·赞特马 1 2018 将等式逻辑转化为命题逻辑。 Zbl 1261.03070号 汉斯·赞特马;Jan Friso,格鲁特 1 2003 广义最内层重写。 Zbl 1078.68068号 范德波尔(Jaco van de Pol);汉斯·赞特马 1 2005 共享重写的二进制决策图。 兹比尔0996.68512 范德波尔(Jaco van de Pol);汉斯·赞特马 1 2000 赢得《鹅的游戏》的机会。 Zbl 1346.91023号 Jan Friso,格鲁特;汉斯·赞特马 1 2014 自动序列的复杂性。 Zbl 1482.68129号 汉斯·赞特马 1 2020 使用终止工具证明流的良好精细性的工具。 兹比尔1239.68038 汉斯·赞特马 1 2009 RNA编辑中引导插入删除的复杂性。 Zbl 1284.68370号 汉斯·赞特马 1 2010 自动证明流的相等性。 Zbl 1236.68159号 汉斯·赞特马;约尔格恩德鲁利斯 1 2011 等式逻辑的证明系统和判定过程。 Zbl 1196.03045号 奥尔加·特维雷蒂纳;汉斯·赞特马 1 2004 分辨率图和二元决策图不能用多项式相互模拟。 Zbl 1073.03520号 Jan Friso,格鲁特;汉斯·赞特马 1 2001 通过抽象交换终止模方程,并应用于迭代。 Zbl 0901.68090号 Wan Fokkink公司;汉斯·赞特马 1 1997 重新访问简单终止。 Zbl 1433.68191号 阿尔特·米德尔多普;汉斯·赞特马 1 1994 通过变换和矩阵解释终止循环重写。 Zbl 1398.68281号 大卫·萨贝尔;汉斯·赞特马 1 2017 自动序列的复杂性。 Zbl 07601275号 汉斯·赞特马;维布·博斯马 2 2022 用固定的字母大小缓慢同步自动机。 Zbl 1497.68258号 唐,亨克;汉斯·赞特马;米歇尔·德·邦德 2 2021 自动序列的复杂性。 Zbl 1482.68129号 汉斯·赞特马 1 2020 部分自动机中同步字长的下限。 Zbl 1415.68125号 米歇尔·德·邦德;唐,亨克;汉斯·赞特马 11 2019 同步非确定性有限自动机。 Zbl 1419.68060号 唐,亨克;汉斯·赞特马 4 2018 寻找抽象重写属性的小反例。 兹比尔1398.68287 汉斯·赞特马 1 2018 同步字长最短的DFA和PFA。 Zbl 1410.68201号 米歇尔·德·邦德;唐,亨克;汉斯·赞特马 9 2017 找到具有最大最短同步字长度的DFA。 Zbl 1487.68144号 唐,亨克;汉斯·赞特马 三 2017 通过置换换能器对序列进行排序。 Zbl 1353.05006号 维布·博斯马;汉斯·赞特马 2 2017 通过置换变换器对非周期序列进行分类。 Zbl 1494.68152号 汉斯·赞特马;维布·博斯马 1 2017 通过变换和矩阵解释终止循环重写。 Zbl 1398.68281号 大卫·萨贝尔;汉斯·赞特马 1 2017 形态序列的乌龟图形。 Zbl 1342.28026号 汉斯·赞特马 2 2016 平方度是一个原子。 Zbl 1330.68154号 约尔格恩德鲁利斯;克莱门斯,抓斗手;迪米特里·亨德里克斯;汉斯·赞特马 7 2015 用有限自动机证明非终结性。 Zbl 1366.68115号 约尔格恩德鲁利斯;汉斯·赞特马 6 2015 利用半环上的加权型图证明图变换系统的终止性。 Zbl 1321.68326号 H.J.Sander,布鲁金克;巴巴拉·科尼格;诺尔特,丹尼斯;汉斯·赞特马 4 2015 将循环重写转换为字符串重写。 Zbl 1366.68127号 大卫·萨贝尔;汉斯·赞特马 三 2015 图变换系统的终止分析。 Zbl 1417.68074号 H.J.Sander,布鲁金克;巴巴拉·科尼格;汉斯·赞特马 5 2014 循环重写的终止。 Zbl 1416.68095号 汉斯·赞特马;巴巴拉·科尼格;H.J.Sander,布鲁金克 4 2014 赢得《鹅的游戏》的机会。 Zbl 1346.91023号 Jan Friso,格鲁特;汉斯·赞特马 1 2014 简单类型的重写视图。 Zbl 1272.03142号 阿伦·斯塔姆;加林·金梅尔;汉斯·赞特马;鲁巴哈吉·奥马尔 三 2013 灰姑娘与邪恶的继母。 Zbl 1362.91011号 Bodlaender,Marijke Hans L。;科尔·A·J·赫肯斯。;文森特·库斯特斯。;斯坦斯,弗兰克;Gerhard J.Woeginger。;汉斯·赞特马 7 2012 重写中的三角化。 Zbl 1437.68089号 文森特·范·奥斯特罗姆;汉斯·赞特马 三 2012 重写中的不确定性级别。 Zbl 1210.68064号 约尔格恩德鲁利斯;赫尔曼·格乌弗斯;雅各布·格鲁·西蒙森;汉斯·赞特马 6 2011 自动证明流的相等性。 Zbl 1236.68159号 汉斯·赞特马;约尔格恩德鲁利斯 1 2011 证明无限数据结构的生产力。 兹比尔1236.68056 汉斯·赞特马;拉斐尔西珀,马提亚斯 5 2010 通过转换和终止实现流的良好定义。 Zbl 1208.68110号 汉斯·赞特马 2 2010 有序二元决策图、鸽子洞公式等。 Zbl 1221.68105号 奥尔加,特维雷蒂纳;卡斯滕·辛兹;汉斯·赞特马 2 2010 RNA编辑中引导插入删除的复杂性。 Zbl 1284.68370号 汉斯·赞特马 1 2010 术语重写中的不确定性程度。 Zbl 1257.68093号 约尔格恩德鲁利斯;赫尔曼·格乌弗斯;汉斯·赞特马 8 2009 自动证明最外层终止的转换方法。 Zbl 1294.68099号 拉斐尔西珀,马提亚斯;汉斯·赞特马 6 2009 通过终止实现流的良好定义。 Zbl 1239.68037号 汉斯·赞特马 6 2009 使用终止工具证明流的良好精细性的工具。 Zbl 1239.68038号 汉斯·赞特马 1 2009 用于证明术语重写终止的矩阵解释。 Zbl 1139.68049号 约尔格恩德鲁利斯;约翰内斯·沃尔德曼;汉斯·赞特马 52 2008 无限项的规范化。 Zbl 1146.68042号 汉斯·赞特马 7 2008 通过矩阵解释证明术语重写终止的证明。 Zbl 1132.68431号 亚当·科普洛夫斯基;汉斯·赞特马 7 2008 证明左线性项重写系统终止的树自动机。 Zbl 1112.68077号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特马 15 2007 通过准周期解释终止。 Zbl 1203.68081号 汉斯·赞特马;约翰内斯·沃尔德曼 6 2007 推广DPLL和等式的可满足性。 Zbl 1121.68102号 巴哈雷赫巴德班;雅各布·范德波尔;奥尔加·特维雷蒂纳;汉斯·赞特马 三 2007 用于证明术语重写终止的矩阵解释。 Zbl 1222.68362号 约尔格恩德鲁利斯;约翰内斯·沃尔德曼;汉斯·赞特马 13 2006 无限标记重写系统的递归路径排序自动化。 兹比尔1222.68366 亚当·科普洛夫斯基;汉斯·赞特马 4 2006 自动证明字符串重写的终止。 Zbl 1102.68649号 H.赞蒂玛。 17 2005 寻找证明字符串重写系统终止的有限自动机。 兹比尔1097.68052 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特马 7 2005 证明左线性项重写系统终止的树自动机。 Zbl 1078.68062号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特马 6 2005 用改写证明生动和公平。 Zbl 1171.68513号 亚当·科普洛夫斯基;汉斯·赞特马 三 2005 找到证明字符串重写终止的有限自动机。 Zbl 1115.68433号 阿尔芬斯·盖瑟;迪特尔·霍夫鲍尔;约翰内斯·沃尔德曼;汉斯·赞特马 2 2005 减少终端右侧。 Zbl 1171.68520号 汉斯·赞特马 2 2005 广义最内层重写。 Zbl 1078.68068号 范德波尔(Jaco van de Pol);汉斯·赞特马 1 2005 等式逻辑的证明系统和判定过程。 Zbl 1196.03045号 奥尔加·特维雷蒂纳;汉斯·赞特马 1 2004 分辨率图和二元决策图不能用多项式相互模拟。 Zbl 1029.68129号 J.F.格罗特。;H.赞蒂玛。 11 2003 重写的生动性。 Zbl 1038.68067号 吉尔根·吉斯尔;汉斯·赞特马 三 2003 将等式逻辑转换为命题逻辑。 Zbl 1261.03070号 汉斯·赞特马;Jan Friso,格鲁特 1 2003 术语重写中的相对不确定性。二: 汇流层次结构。 Zbl 1012.68097号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 6 2002 术语重写中的相对不确定性。I: 终止层次结构。 Zbl 1012.68096号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 4 2002 术语重写的终止层次结构。 Zbl 0973.68099号 H.赞蒂玛。 7 2001 二元决策图的重写方法。 Zbl 1015.68086号 汉斯·赞特马;范德波尔(Jaco van de Pol) 4 2001 分辨率图和二元决策图不能用多项式相互模拟。 Zbl 1073.03520号 Jan Friso,格鲁特;汉斯·赞特马 1 2001 (0^p1^q到1^r0^s)终止的完整表征。 Zbl 0962.68086号 汉斯·赞特马;阿尔芬斯·盖瑟 7 2000 很难找到小的等效决策树。 Zbl 1319.68103号 汉斯·赞特马;Bodlaender,Hans L。 2 2000 共享重写的二进制决策图。 Zbl 0996.68512号 范德波尔(Jaco van de Pol);汉斯·赞特马 1 2000 非驻留字符串重写。 Zbl 0951.68054号 阿尔芬斯·盖瑟;汉斯·赞特马 10 1999 上下文相关重写的终止。 Zbl 1379.68207号 H.赞蒂玛。 18 1997 重写系统的简单终止。 Zbl 0903.68106号 阿尔特·米德尔多普;汉斯·赞特马 11 1997 术语重写中的相对不确定性。 Zbl 0884.68067号 阿尔芬斯·盖瑟;阿尔特·米德尔多普;埃诺·奥勒布什;汉斯·赞特马 5 1997 通过抽象交换终止模方程,并应用于迭代。 Zbl 0901.68090号 Wan Fokkink公司;汉斯·赞特马 1 1997 术语重写的完全终止。 Zbl 0847.68054号 费雷拉,M.C.F。;H.赞蒂玛。 10 1996 通过自标记转换终端。 Zbl 1412.68112号 阿尔特·米德尔多普;大崎,Hitoshi;汉斯·赞特马 6 1996 通过语义标记终止术语重写。 Zbl 0839.68050号 H.赞蒂玛。 49 1995 通过自标记转换终端。 Zbl 0939.68684号 玛丽亚·费雷拉。;阿尔特·米德尔多普;大崎,Hitoshi;汉斯·赞特马 7 1995 术语重写的完全终止是不可判定的。 Zbl 0843.68047号 汉斯·赞特马 7 1995 虚拟消除:使终止更容易。 Zbl 1503.68107号 费雷拉,M.C.F。;赞特玛,H。 6 1995 (0^p 1^q到1^r 0^s)的终止的完整表征。 Zbl 1503.68170号 汉斯·赞特马;阿尔芬斯·盖瑟 6 1995 重写整数算术系统。 Zbl 1503.68168号 沃尔特斯,H.R。;H.赞蒂玛。 三 1995 术语重写的终止:解释和类型删除。 Zbl 0810.68087号 H.赞蒂玛。 50 1994 完全终止的句法分析。 Zbl 0988.68556号 费雷拉,M.C.F。;H.赞蒂玛。 5 1994 重新访问简单终止。 Zbl 1433.68191号 阿尔特·米德尔多普;汉斯·赞特马 1 1994 通过解释终止术语重写。 Zbl 1508.68181号 H.赞蒂玛。 7 1993 术语重写的完全终止。 Zbl 1503.68106号 费雷拉,M.C.F。;H.赞蒂玛。 6 1993 术语重写中的类型删除。 Zbl 1508.68180号 H.赞蒂玛。 2 1993 最长分段问题。 Zbl 0745.68062号 H.赞蒂玛。 4 1992 最小化加法链的总和。 Zbl 0728.11018号 H.赞蒂玛。 2 1991 关于双传递置换群的计算。 Zbl 0515.20002号 科恩,A.M。;H.赞蒂玛。 5 1984 数字域分支的全球限制。 Zbl 0519.12005号 H.赞蒂玛。 2 1983 数字域上的整数值多项式。 Zbl 0505.12003年 H.赞蒂玛。 45 1982 所有引用出版物 前5名被引用出版物 全部的 前5名341位作者引用 39 汉斯·赞特马 31 阿尔特·米德尔多普 20 约尔格恩德鲁利斯 18 萨尔瓦多卢卡斯 14 吉尔根·吉斯尔 12 约翰内斯·沃尔德曼 11 扬·威廉·克鲁普 11 乔治·莫瑟 11 雷内·蒂曼 10 阿尔芬斯·盖瑟 9 彼得·施奈德·坎普 9 哈拉尔德·赞克 8 珍妮·卢克·查伯特 8 劳尔·古铁雷斯 8 迪米特里·亨德里克斯 7 Nao Hirokawa 7 迪特尔·霍夫鲍尔 6 卡斯滕·福斯 6 阿巴斯·马勒夫帕瓦尔 6 Akihisa山田 5 唐,亨克 5 Jan Friso,格鲁特 5 阿里·拉杰 5 克里斯蒂安·斯特纳格尔 5 莎拉·温克勒 4 马丁·阿文齐尼 4 弗雷德里克·布兰基 4 米歇尔·德·邦德 4 玛丽亚·费雷拉。 4 Heule,Marijn J.H。 4 亚当·科普洛夫斯基 4 阿曼丁·勒里奇 4 乌苏拉·马丁 4 何塞·梅塞盖尔·瓜伊塔 4 Overbeek,罗伊 4 米哈伊尔·弗拉基米洛维奇(Mikhail Vladimirovich Volkov) 三 阿勒科恩,比阿特丽兹 三 科斯坦扎·卡塔拉诺 三 纳鸿·德肖维茨 三 费边·埃姆斯 三 伯特伦·费尔根豪尔 三 托马斯·杰奈特 三 简·赫尔曼·盖弗斯 三 伊莎贝·格尼迪格 三 克莱门斯,抓斗手 三 塞尔吉奥·格雷科 三 马科托·哈马纳 三 何塞·伊波拉 三 拉斐尔·荣格斯。 三 斯特凡·迈克尔·卡尔斯 三 朱哈尼·卡鲁马基 三 巴巴拉·科尼格 三 马丁·科尔普 三 直纪西田 三 诺尔特,丹尼斯 三 埃诺·奥勒布什 三 格里高·罗什乌 三 阿列克西·萨雷拉 三 安德烈亚斯·施纳布尔 三 塞尼泽格斯,热罗 三 哈南沙巴纳 三 雅各布·格鲁·西蒙森 三 朱卡·索米拉 三 阿里·塔穆西特 三 伊琳娜·特鲁比西纳 三 奥尔加·特维雷蒂纳 三 范德波尔,扬·科内利斯 三 德国维达尔 2 斯科特·亚伦森 2 大卫·亚当 2 艺术,托马斯 2 科尼利厄斯·阿斯切尔曼 2 巴哈雷赫巴德班 2 雷娜·巴赫西 2 维布·博斯马 2 H.J.Sander,布鲁金克 2 Randal E.布莱恩特。 2 保尔·让·卡亨 2 马可·卡洛蒂 2 斯迪恩·坎比 2 维南西奥·卡普雷塔 2 Chang,Yi-Jun先生 2 贾伊特拉·查托帕迪亚伊 2 迈克尔·科迪什 2 罗德·德弗里杰尔 2 江口、闹喜 2 奥利维尔·菲索 2 弗洛里安·弗洛恩 2 Gąsieniec,莱斯泽克·安东尼 2 Robert W.jun,Gilmer。 2 伯恩哈德·格拉姆利希 2 Helle Hvid Hansen先生 2 杰拉·亨塞尔 2 Dmitry M.Itsykson。 2 拉胡西内·伊泽尔格 2 Jean-Pierre Jouannaud 2 桂树,Masashi 2 赫莱内·基什内尔 2 拉尔夫·克拉辛 2 亚历山大·诺普 ……还有241位作者 全部的 前5名63篇连载文章中引用 31 理论计算机科学 22 信息与计算 22 自动推理杂志 11 数论杂志 9 计算机科学中的逻辑方法 7 工程、通信和计算中的应用代数 5 信息处理信件 5 国际计算机科学基础杂志 5 逻辑程序设计理论与实践 5 程序设计中的逻辑和代数方法杂志 4 信息学报 4 离散应用数学 4 符号计算杂志 4 函数编程杂志 三 代数通讯 三 代数杂志 三 数学手稿 三 MSCS公司。计算机科学中的数学结构 三 ACM计算逻辑事务 2 计算机与系统科学杂志 2 纯粹与应用代数杂志 2 符号逻辑杂志 2 数学与人工智能年鉴 2 高阶和符号计算 2 逻辑与代数程序设计杂志 2 数论研究 2 C.I.R.M.Rencontres法案。 2 Prikladnaya Diskretnaya Matematika公司 1 《美国数学月刊》 1 人工智能 1 数学笔记 1 算术学报 1 数学档案馆 1 组合理论杂志。系列A 1 太平洋数学杂志 1 美国数学学会会刊 1 匈牙利数学学报 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 计算的形式方面 1 国际数学杂志 1 国际计算机数学杂志 1 爱丁堡皇家学会会刊,A辑,数学 1 SIAM审查 1 Indagationes Mathematicae公司。新系列 1 代数组合数学杂志 1 系统设计中的形式化方法 1 国际计算机与系统科学杂志 1 应用非经典逻辑杂志 1 波尔多Nombres de Théorie de Bordeaux杂志 1 Fractals公司 1 Ramanujan杂志 1 数学学报。英语系列 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 马来西亚数学科学学会公报。第二系列 1 JP代数、数论和应用杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 国际数论杂志 1 数学与艺术杂志 1 汇聚数学 1 算法 1 乌拉尔数学杂志 全部的 前5名21个领域被引用 268 计算机科学(68至XX) 58 数学逻辑和基础(03-XX) 41 数论(11-XX) 26 交换代数(13-XX) 9 组合数学(05-XX) 6 群论与推广(20-XX) 4 总体主题;集合(00-XX) 4 运筹学、数学编程(90-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 阶、格、有序代数结构(06-XX) 三 线性代数和多线性代数;矩阵理论(15-XX) 2 一般代数系统(08-XX) 2 场论和多项式(12-XX) 2 代数几何(14-XX) 2 范畴理论;同调代数(18-XX) 2 概率论与随机过程(60-XX) 2 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 1 \(K\)理论(19-XX) 1 测量和集成(28-XX) 1 一般拓扑结构(54至XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.