×
作者ID: 亚历山大大道最近由“Boudet,Alexandre”撰写的zbMATH文章
发布日期: 亚历山大·布代特
外部链接: MGP公司
已编制索引的文档: 13出版物自1989年起
合著者: 5位合著者具有8联合出版物
128位合作作者

按年份列出的出版物

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名

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 乌韦·沃尔德曼

按年份列出的引文