编辑配置文件(在新选项卡中打开) 亚历克西斯·贝丝 合著者距离 作者ID: bes.alexis公司 发布日期: 亚历克西斯·贝丝;Bès,A。 已编制索引的文档: 25出版物自1996年以来,包括1个附加arXiv预打印 合著者: 8位合著者具有18联合出版物 188位Co-Co作者 全部的 前5名合著者 7 单作者的 5 奥利维尔·卡尔顿 5 克里斯蒂安·乔夫鲁特 三 亚历山大·拉比诺维奇 2 尼古拉斯·贝登 2 帕特里克·塞吉尔斯基 2 丹尼斯·理查德 2 克洛伊·里斯帕尔 1 科雷克、伊凡 全部的 前5名系列 4 符号逻辑杂志 4 计算机科学中的逻辑方法 2 数学基础 2 计算机基础理论 1 纯逻辑与应用逻辑年鉴 1 国际计算机科学基础杂志 1 科学研究院。塞里一世 1 数学科学杂志(纽约) 1 计算系统理论 1 RAIRO公司。理论信息学及其应用 字段 21 数学逻辑和基础(03-XX) 8 计算机科学(68-XX) 5 数论(11-XX) 三 阶、格、有序代数结构(06-XX) 1 群论与推广(20-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 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 康拉德·兹达诺夫斯基 全部的 前5名27篇连载文章中引用 15 理论计算机科学 5 符号逻辑杂志 5 国际计算机科学基础杂志 2 计算机与系统科学杂志 2 纯逻辑与应用逻辑年鉴 2 信息与计算 2 数学逻辑档案 2 《数理逻辑季刊》 2 RAIRO公司。理论信息学及其应用 2 计算机科学中的逻辑方法 1 信息学报 1 代数通讯 1 信息处理信件 1 算术学报 1 美国数学学会会刊 1 离散和计算几何 1 波尔多Nombres de Théorie de Bordeaux杂志 1 数学科学杂志(纽约) 1 符号逻辑公报 1 Izvestiya:数学 1 Doklady数学 1 计算系统理论 1 欧洲数学学会杂志(JEMS) 1 数学逻辑杂志 1 计算机基础理论 1 Oberwolfach报告 1 可计算性 全部的 前5名在9个字段中引用 43 数学逻辑和基础(03-XX) 42 计算机科学(68-XX) 13 数论(11-XX) 6 阶、格、有序代数结构(06-XX) 2 总体主题;集合(00-XX) 2 场论和多项式(12-XX) 1 组合数学(05-XX) 1 动力系统和遍历理论(37至XX) 1 凸和离散几何(52至XX) 按年份列出的引文