编辑配置文件(在新选项卡中打开) 亚历山大·布代特 合著者距离 作者ID: 亚历山大大道 发布日期: 亚历山大·布代特 外部链接: MGP公司 已编制索引的文档: 13出版物自1989年起 合著者: 5位合著者具有8联合出版物 128位合作作者 合著者 5 单作者的 5 伊芙琳·孔特让 2 休伯特·科蒙 1 Jean-Pierre Jouannaud 1 克劳德·马奇 1 曼弗雷德·施密特·沙乌 系列 2 符号计算杂志 1 自动推理杂志 1 离散数学和理论计算机科学。DMTCS公司 字段 10 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用54中的次45文件 引用人▼ 年份▼ 布尔环和阿贝尔群的统一性。 Zbl 0689.68040号 亚历山大·布代特;Jean-Pierre Jouannaud;曼弗雷德·施密特·肖斯 12 1989 合并统一算法。 Zbl 0822.68054号 亚历山大·布代特 11 1993 丢番图方程、普雷斯伯格算法和有限自动机。 Zbl 1508.03071号 亚历山大·布代特;休伯特·科蒙 7 1996 方程理论组合中的统一:一种有效的算法。 Zbl 1509.68115号 亚历山大·布代特 6 1990 有序代数中的超载统一。 Zbl 0925.03079号 亚历山大·布代特 5 1992 关于树嵌入理论。 Zbl 1497.03029号 亚历山大·布代特;休伯特·科蒙 4 1993 争夺(AC)统一竞赛。 Zbl 0802.68137号 亚历山大·布代特 三 1993 AC完全统一及其在定理证明中的应用。 Zbl 1503.68090号 亚历山大·布代特;伊芙琳·孔特让;克劳德·马奇 三 1996 论句法等式理论。 兹伯利0925.03159 亚历山大·布代特;伊芙琳·孔特让 2 1992 “句法”AC统一。 Zbl 1495.03012号 亚历山大·布代特;伊芙琳·孔特让 1 1994 丢番图方程、普雷斯伯格算法和有限自动机。 兹比尔1508.03071 亚历山大·布代特;休伯特·科蒙 7 1996 AC完全统一及其在定理证明中的应用。 Zbl 1503.68090号 亚历山大·布代特;伊芙琳·孔特让;克劳德·马奇 三 1996 “句法”AC统一。 Zbl 1495.03012号 亚历山大·布代特;伊芙琳·孔特让 1 1994 合并统一算法。 Zbl 0822.68054号 亚历山大·布代特 11 1993 关于树嵌入理论。 Zbl 1497.03029号 亚历山大·布代特;休伯特·科蒙 4 1993 争夺(AC)统一竞赛。 Zbl 0802.68137号 亚历山大·布代特 三 1993 有序代数中的超载统一。 Zbl 0925.03079号 亚历山大·布代特 5 1992 论句法等式理论。 Zbl 0925.03159号 亚历山大·布代特;伊芙琳·孔特让 2 1992 方程理论组合中的统一:一种有效的算法。 Zbl 1509.68115号 亚历山大·布代特 6 1990 布尔环和阿贝尔群的统一性。 Zbl 0689.68040号 亚历山大·布代特;Jean-Pierre Jouannaud;曼弗雷德·施密特·肖斯 12 1989 所有引用出版物 前5名被引用出版物 全部的 前5名70位作者引用 4 弗兰兹·巴德 4 Jean-Pierre Jouannaud 三 亚历山大·布代特 三 何塞·梅塞盖尔·瓜伊塔 三 克里斯托夫·林盖森 2 阿克西,S。 2 查克拉波蒂,苏普拉特克 2 伊芙琳·孔特让 2 纳鸿·德肖维茨 2 米基·赫尔曼 2 帕特里夏·约翰 2 扬·威廉·克鲁普 2 Phokion G.科莱蒂斯。 2 特默尔库西亚 2 杰罗姆·勒鲁 2 曼弗雷德·施密特·沙乌 2 克劳斯·舒尔茨。 2 谢塔尔·沙阿 2 于尔根·斯图伯 1 穆罕默德·阿迪 1 毛里西奥·阿亚拉·林科恩 1 劳伦特·巴托尔迪 1 艾哈迈德·博阿贾尼 1 阿黛尔·布胡拉 1 托马斯·布雷班特 1 比尔科特,汉斯·尤根 1 休伯特·科蒙 1 沃尔克·迪克特 1 丹尼尔·多尔蒂(Daniel J.Dougherty)。 1 塞尔达尔·埃尔巴图尔 1 玛丽贝尔·费尔南德斯 1 阿兰·芬克尔 1 劳伦·弗里堡 1 舒巴姆·戈尔 1 彼得·哈贝梅尔 1 乔·亨德里克斯 1 亚历山大·赫罗德 1 John,Ajith K。 1 迪帕克·卡普尔 1 理查德·凯默勒(Richard A.Kemmer)。 1 克洛德·基什内尔 1 Hélène基什内尔 1 安德烈·彼得·基西列维奇 1 苏米思·库拉尔 1 刘志强 1 克里斯托弗·林奇(Christopher A.Lynch)。 1 克劳德·马奇 1 马林·米尔恰 1 维克托·马绍尔 1 安德鲁·马歇尔。 1 理查德·梅尔(Richard M.Mayr)。 1 凯瑟琳·梅多斯。 1 乔纳森·米伦。 1 塞萨尔·穆尼奥斯。 1 巴利亚特·纳伦德兰 1 托比亚斯·尼普科 1 诺斯,玛丽亚劳拉 1 冈田三弘 1 汉斯·奥尔森 1 Damien Pous 1 钱振宇 1 西尔维奥·兰伊斯 1 卡米洛,罗查 1 加布里埃尔·费雷拉·席尔瓦 1 丹尼尔·南特,索布里尼奥 1 罗尔夫·索彻 1 塞萨尔·蒂内利 1 德坎·特兰 1 拉尔夫·特里宁 1 乌韦·沃尔德曼 全部的 前5名10篇连载文章中引用 9 理论计算机科学 6 符号计算杂志 2 信息处理信件 2 信息与计算 2 程序设计中的逻辑和代数方法杂志 1 代数杂志 1 数学期刊 1 密码学杂志 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 全部的 前5名在7个字段中引用 42 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 5 群论与推广(20-XX) 2 一般代数系统(08-XX) 2 数论(11-XX) 2 信息与通信理论、电路(94-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文