×
作者ID: bes.alexis公司“亚历克西斯·贝丝”最近发表的zbMATH文章
发布日期: 亚历克西斯·贝丝;Bès,A。
已编制索引的文档: 25出版物自1996年以来,包括1个附加arXiv预打印
合著者: 8位合著者具有18联合出版物
188位Co-Co作者

按年份列出的出版物

zbMATH Open中包含的引文

18出版物有被引用87中的次68文件 引用人 年份
算术可定义性综述。 Zbl 1013.03071号
亚历克西斯·贝丝
14
2002
Cobham-Seménov定理的推广。 Zbl 0958.03025号
亚历克西斯·贝丝
8
2000
Büchi算法和Cobham-Semönov定理的不可判定推广。 Zbl 0896.03011号
亚历克西斯·贝丝
7
1997
Feferman-Vaugh定理在无限字母表上单词的自动机和逻辑中的应用。 Zbl 1149.03014号
亚历克西斯·贝丝
6
2008
散乱线性序FO的代数特征。 兹伯利1247.68177
亚历克西斯·贝丝;奥利维尔·卡尔顿
6
2011
按线性顺序索引的单词的逻辑和有理语言。 Zbl 1142.03346号
尼古拉斯·贝登;亚历克西斯·贝丝;奥利维尔·卡尔顿;克洛伊·里斯帕尔
5
2008
按线性顺序索引的单词的逻辑和有理语言。 Zbl 1205.68190号
尼古拉斯·贝登;亚历克西斯·贝丝;奥利维尔·卡尔顿;克洛伊·里斯帕尔
5
2010
线性序索引单词语言的Kleene定理。 Zbl 1132.68438号
亚历克西斯·贝丝;奥利维尔·卡尔顿
4
2005
由线性排序索引的单词的语言的Kleene定理。 Zbl 1096.68079号
亚历克西斯·贝丝;奥利维尔·卡尔顿
4
2006
弱最大可判定结构。 Zbl 1149.03015号
亚历克西斯·贝丝;帕特里克·塞吉尔斯基
4
2008
Skolem算法的不确定扩展。 Zbl 0911.03030号
亚历克西斯·贝丝;丹尼斯·理查德
4
1998
关于模为素数幂的帕斯卡三角形。 Zbl 0889.11008号
亚历克西斯·贝丝
4
1997
带谓词和不带谓词的整数实加法理论。 Zbl 07379289号
亚历克西斯·贝丝;克里斯蒂安·乔夫鲁特
4
2021
与序数乘法基本理论相关的可判定性和可定义性结果。 Zbl 0998.03005号
亚历克西斯·贝丝
2002
通过基数关系扩展MSO。 兹比尔1315.03042
亚历克西斯·贝丝
2013
非最大可判定结构。 Zbl 1178.03047号
Bès,A。;Cégielski,P。
2009
与Pascal的三角形模整数相关的结构内的可定义性。 Zbl 0905.11013号
亚历克西斯·贝丝;科雷克、伊凡
2
1998
标记线性序的可判定展开式。 Zbl 1213.03017号
亚历克西斯·贝丝;亚历山大·拉比诺维奇
1
2011
带谓词和不带谓词的整数实加法理论。 Zbl 07379289号
亚历克西斯·贝丝;克里斯蒂安·乔夫鲁特
4
2021
通过基数关系扩展MSO。 Zbl 1315.03042号
亚历克西斯·贝丝
2013
散乱线性序FO的代数特征。 Zbl 1247.68177号
亚历克西斯·贝丝;奥利维尔·卡尔顿
6
2011
标记线性序的可判定展开式。 兹比尔1213.03017
亚历克西斯·贝丝;亚历山大·拉比诺维奇
1
2011
按线性顺序索引的单词的逻辑和有理语言。 Zbl 1205.68190号
尼古拉斯·贝登;亚历克西斯·贝丝;奥利维尔·卡尔顿;克洛伊·里斯帕尔
5
2010
非最大可判定结构。 Zbl 1178.03047号
Bès,A。;Cégielski,P。
2009
Feferman-Vaugh定理在无限字母表上单词的自动机和逻辑中的应用。 Zbl 1149.03014号
亚历克西斯·贝丝
6
2008
由线性排序索引的单词的逻辑和理性语言。 Zbl 1142.03346号
尼古拉斯·贝登;亚历克西斯·贝丝;奥利维尔·卡尔顿;克洛伊·里斯帕尔
5
2008
弱最大可判定结构。 Zbl 1149.03015号
亚历克西斯·贝丝;帕特里克·塞吉尔斯基
4
2008
线性序索引单词语言的Kleene定理。 Zbl 1096.68079号
亚历克西斯·贝丝;奥利维尔·卡尔顿
4
2006
线性序索引单词语言的Kleene定理。 Zbl 1132.68438号
亚历克西斯·贝丝;奥利维尔·卡尔顿
4
2005
算术可定义性综述。 兹比尔1013.03071
亚历克西斯·贝丝
14
2002
与序数乘法基本理论相关的可判定性和可定义性结果。 Zbl 0998.03005号
亚历克西斯·贝丝
2002
Cobham-Seménov定理的推广。 Zbl 0958.03025号
亚历克西斯·贝丝
8
2000
Skolem算法的不确定扩展。 Zbl 0911.03030号
亚历克西斯·贝丝;丹尼斯·理查德
4
1998
与Pascal的三角形模整数相关的结构内的可定义性。 Zbl 0905.11013号
亚历克西斯·贝丝;科雷克、伊凡
2
1998
Büchi算法和Cobham-Semönov定理的不可判定推广。 Zbl 0896.03011号
亚历克西斯·贝丝
7
1997
关于模为素数幂的帕斯卡三角形。 Zbl 0889.11008号
亚历克西斯·贝丝
4
1997
全部的 前5名

85位作者引用

5 亚历克西斯·贝丝
4 尼古拉斯·贝登
4 奥利维尔·卡尔顿
4 佐尔坦·埃西克
4 萨博尔茨·伊凡
4 A.V.Sreejith。
克里斯蒂安·乔夫鲁特
费宾·杜兰德
克里斯蒂安·格拉(Christian Glaßer)
亚历山大·拉比诺维奇
沃尔夫冈·托马斯
2 巴拉特·阿德苏尔
2 文斯·巴拉尼
2 多米尼克·巴特
2 莫里茨·贝克
2 维罗尼克·布鲁埃
2 托马斯·科尔科姆贝特
2 克里斯托弗·齐巴
2 剂量,提图斯
2 谢尔盖·格里戈里夫
2 乔治·汉塞尔
2 科雷克、伊凡
2 拉里萨·米克勒
2 点,弗朗索瓦兹
2 小狗,加布里埃尔
2 里帕尔,科洛
2 萨普塔什·萨卡尔
2 AlekseĭL'vovich,塞姆诺夫
2 谢尔盖·费多罗维奇·索普鲁诺夫
2 斯坦尼斯拉夫·斯佩兰斯基。
2 克里斯托弗·斯宾拉斯
2 马克·特尼奥
1 亚历山大·塞缪尔·艾伦
1 阿莫拉内(Amrane,Amazigh)
1 尼古拉·S·比约纳。
1 Mikołaj博扬奇克
1 贝内迪克特·布吕奇
1 帕特里克·塞吉尔斯基
1 安妮城堡
1 加布里埃尔·科南特
1 玛丽亚·伊莎贝尔·科尔特斯
1 布鲁诺·库塞尔
1 保拉·达奎诺
1 劳雷·达沃
1 Stéphane P.德姆里。
1 沃尔克·迪克特
1 艾琳·杜兰德。
1 Eleftheriou,Pantelis E。
1 塞维琳·弗拉塔尼
1 克里斯蒂安·弗劳格尼
1 彼得·格里维克
1 布鲁诺·吉隆
1 彼得·琼森
1 意大利卡普兰
1 雅库布·科尼埃奇尼
1 米查·玛丽安·克雷尼基
1 Kuncak,维克多
1 迪特里赫·库斯克
1 帕特里克·兰德威尔
1 迈克尔·克里斯·拉斯科夫斯基
1 奥马尔·莱昂·桑切斯
1 刘嘉谋
1 巴纳比·D·马丁。
1 雷米·莫尔万
1 阿纳斯塔西亚·莫斯科维纳
1 安德烈·穆奇尼克。
1 亚历克谢·米亚斯尼科夫(Alexei G.Myasnikov)。
1 大卫·E·诺瓦克。
1 文森特·佩内尔
1 鲁齐卡皮斯卡
1 沃尔夫拉姆·波勒
1 帕维尔·普德拉克
1 米歇尔·里戈
1 埃里克·罗兰。
1 尼科尔·施韦卡特
1 塞尼泽格斯,热罗
1 杰弗里·奥特洛·沙利特
1 萨拉、撒哈拉
1 米哈伊尔·斯塔斯塔克。
1 哈维尔·乌特雷拉斯
1 范古尔,塞缪尔·雅各布
1 玛格斯·维纳斯
1 埃里克·沃尔斯伯格
1 Laurent Waxweiler
1 康拉德·兹达诺夫斯基

按年份列出的引文