编辑配置文件(在新选项卡中打开) 罗杰·维尔梅尔 合著者距离 作者ID: 毛茸茸 发布日期: 罗杰·维尔梅尔;R.维尔梅尔。 已编制索引的文档: 21出版物自1988年以来,包括1本书 审查活动: 60条评论 合著者: 9合著者具有10联合出版物 118位合作作者 全部的 前5名合著者 11 单作者的 5 克里斯蒂安·米乔克斯 2 维罗尼克·布鲁埃 2 西尔万·霍尔 2 乔治·汉塞尔 1 史蒂夫·鲍彻 1 奥马尔·切尔考伊 1 鲁迪·迪卡 1 米歇尔·赫伯特 1 伊利,皮埃尔 全部的 前5名系列 2 符号逻辑杂志 2 科学研究院。塞丽一世 2 数学逻辑档案 2 比利时数学学会公报-西蒙·斯特文 1 离散数学 1 纯代数与应用代数杂志 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 应用逻辑杂志 全部的 前5名领域 18 数学逻辑和基础(03-XX) 6 群论与推广(20-XX) 6 计算机科学(68至XX) 三 数论(11-XX) 1 组合数学(05-XX) 1 结合环与代数(16-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用147中的次121文件 引用人▼ 年份▼ 逻辑和可识别的整数集。 Zbl 0804.11024号 维罗尼克·布鲁埃;乔治·汉塞尔;克里斯蒂安·米乔克斯;罗杰·维尔梅尔 89 1994 Presburger算法和自动机对自然数集的识别:Cobham和Semenov定理的新证明。 Zbl 0857.03003号 克里斯蒂安·米乔克斯;罗杰·维尔梅尔 24 1996 (langle\mathbb{N},+,V_k,V_l\rangle)的理论是不可判定的。 Zbl 0773.03008号 罗杰·维尔梅尔 15 1992 谓词上的Aleph-zero-范畴。 Zbl 0666.03028号 罗杰·维尔梅尔 4 1988 阿贝尔群\(\aleph_0\)-子群上的范畴。 Zbl 0722.03033号 罗杰·维尔梅尔 三 1990 连接(k)和(l)可识别的自然数集。 Zbl 1496.03163号 罗杰·维尔梅尔 三 1992 围绕Büchi和Presburger算法的开放式问题。 Zbl 0865.03008号 克里斯蒂安·米乔克斯;罗杰·维尔梅尔 2 1996 从素子图中识别素数图。 兹比尔1288.05180 伊利·P·。;R.维尔梅尔。 2 2014 从Büchi定理看科巴姆定理。 Zbl 1422.68156号 克里斯蒂安·米乔克斯;罗杰·维尔梅尔 2 1993 \(langle\mathbb{N},+,V_2,V_3\rangle\)是不可判定的。((langle\mathbb{N},+,V_2,V_3\rangle)是可判定的。) Zbl 0792.68109号 罗杰·维尔梅尔 1 1992 模块理论在直接积下闭合。 Zbl 0805.03021号 罗杰·维尔梅尔 1 1992 同质性和固定点:前进! Zbl 1357.03072号 罗杰·维尔梅尔 1 2015 同质性和固定点:前进! Zbl 1357.03072号 罗杰·维尔梅尔 1 2015 从素数子图中识别素数图。 Zbl 1288.05180号 伊利·P·。;R.维尔梅尔。 2 2014 Presburger算法和自动机对自然数集的识别:Cobham和Semenov定理的新证明。 Zbl 0857.03003号 克里斯蒂安·米乔克斯;罗杰·维尔梅尔 24 1996 围绕Büchi和Presburger算术的开放性问题。 Zbl 0865.03008号 克里斯蒂安·米乔克斯;罗杰·维尔梅尔 2 1996 逻辑和可识别的整数集。 Zbl 0804.11024号 维罗尼克·布鲁埃;乔治·汉塞尔;克里斯蒂安·米乔克斯;罗杰·维尔梅尔 89 1994 从Büchi定理看科巴姆定理。 Zbl 1422.68156号 克里斯蒂安·米乔克斯;罗杰·维尔梅尔 2 1993 (langle\mathbb{N},+,V_k,V_l\rangle)的理论是不可判定的。 Zbl 0773.03008号 罗杰·维尔梅尔 15 1992 连接(k)和(l)可识别的自然数集。 Zbl 1496.03163号 罗杰·维尔梅尔 三 1992 \(\langle\mathbb{N},+,V_2,V_3\langle\)是不可判定的。((langle\mathbb{N},+,V_2,V_3\rangle)是可判定的。) Zbl 0792.68109号 罗杰·维尔梅尔 1 1992 模块理论在直接积下闭合。 Zbl 0805.03021号 罗杰·维尔梅尔 1 1992 阿贝尔群\(\aleph_0\)-子群上的范畴。 兹比尔0722.03033 罗杰·维尔梅尔 三 1990 谓词上的Aleph-zero-范畴。 Zbl 0666.03028号 罗杰·维尔梅尔 4 1988 所有引用出版物 前5名被引用出版物 全部的 前5名135位作者引用 15 米歇尔·里戈 15 杰弗里·奥特洛·沙利特 9 艾米莉·查利尔 6 伯纳德·博伊格洛特 6 维罗尼克·布鲁埃 6 罗杰·维尔梅尔 4 亚历克西斯·贝丝 4 Juha Honkala 4 马诺·斯蒂普兰蒂 三 杰森·贝尔。 三 朱利安·布鲁斯滕 三 塞利亚·西斯特尼诺 三 费宾·杜兰德 三 乔治·汉塞尔 三 勒鲁,杰罗姆 三 阿德琳·马苏尔 三 法国波因特 三 卢克·谢弗 2 阿洛奇,Jean-Paul Simon 2 Isabel M.Araújo。 2 文斯·巴拉尼 2 瓦莱里·伯瑟 2 郭英军 2 克里斯托弗·霍桑。 2 菲利普·海罗尼米 2 威尔弗里德·霍奇斯 2 托米·卡基 2 雅库布·科尼埃奇尼 2 安妮·拉克鲁斯 2 朱利安·勒罗伊 2 马库斯·洛伊 2 杜加尔德·麦克弗森 2 阿诺·梅斯 2 维克托·马绍尔 2 克里斯蒂安·米乔克斯 2 亚瑟·米尔奇奥 2 哈蒙·穆萨维 2 Laurent Waxweiler 2 马库斯·怀特兰。 2 乔治·泽采 1 塞达·阿尔瓦拉克 1 马塞洛·阿里纳斯 1 马蒂亚斯·阿申布伦纳 1 阿西姆·巴南瓦尔(Aseem R.Baranwal)。 1 盖·巴拉特 1 巴勃罗·巴塞洛 1 玛丽·皮埃尔 1 吕克·贝莱尔 1 侯梅·贝尔凯钦 1 谢里法·本·萨哈 1 沃伊切赫·比拉斯 1 托马斯·布里海耶 1 雅库布·比什夫斯基 1 坎通纳,多梅尼科 1 奥利维尔·卡尔顿 1 克里斯蒂安·乔夫鲁特 1 克拉克斯,拉夫 1 加布里埃尔·科南特 1 玛丽亚·伊莎贝尔·科尔特斯 1 Jean-François Degbomont 1 马丁·德拉科特 1 弗朗索瓦斯·德隆 1 Jean-Paul Doignon 1 阿尔夫·多利奇 1 阿尔弗雷德·多利奇 1 埃里克·杜希恩 1 希亚拉·埃皮法尼奥 1 伊莎贝尔·法尼奥 1 托马斯·费尼克 1 加布里埃尔·菲奇 1 阿兰·芬克尔 1 摩西·加纳迪 1 马克西姆·盖利纳斯 1 阿尔菲奥·贾洛塔 1 丹尼尔·戈奇 1 约翰·古德里克 1 克里斯托夫·哈斯 1 凯瑟琳·黑尔(Kathryn E.Hare)。 1 迪尔德雷·哈斯克尔 1 丹麦亨舍尔 1 伊恩·马丁·霍德金森 1 伊利,皮埃尔 1 科雷克、伊凡 1 埃尔比塔·克劳茨克 1 Thijmen J.P.Krebs。 1 维克多·昆卡 1 路易斯·拉图尔 1 皮埃尔·利亚代特 1 Leonid O·利金。 1 Anthony Widjaja林 1 吕晓涛 1 丹尼斯·卢吉兹 1 内萨娜·玛丽亚尔 1 皮埃尔·马托内特 1 菲利波·米格诺西 1 安德烈·穆奇尼克。 1 阮虎海 1 尼古拉斯·奥林格 1 阿琳·帕罗 1 海因茨·奥托·佩特根 …还有35位作者 全部的 前5名49连载 22 理论计算机科学 6 符号逻辑杂志 5 纯逻辑与应用逻辑年鉴 4 信息与计算 4 组合数学电子杂志 4 RAIRO公司。理论信息学及其应用 2 离散数学 2 美国数学学会会刊 2 国际代数与计算杂志 2 国际计算机科学基础杂志 2 数学逻辑档案 2 数学逻辑季刊(MLQ) 2 计算系统理论 2 计算机科学中的逻辑方法 1 信息学学报 1 代数通讯 1 离散应用数学 1 信息处理信件 1 以色列数学杂志 1 算术学报 1 数学进展 1 傅立叶研究所年鉴 1 函数与近似。数学评论 1 数学基础 1 计算机与系统科学杂志 1 数论杂志 1 纯代数与应用代数杂志 1 圣母院形式逻辑杂志 1 美国数学学会会刊 1 欧洲组合数学杂志 1 应用数学进展 1 组合数学 1 离散和计算几何 1 自动推理杂志 1 Aequationes数学 1 线性代数及应用 1 波尔多流浪者杂志 1 有限域及其应用 1 符号逻辑公报 1 Doklady数学 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 洛巴切夫斯基数学杂志 1 康普特斯·伦德斯。数学竞赛。巴黎科学院 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 离散数学、算法和应用 1 欧洲数学杂志 1 美国数学学会会刊。B系列 1 C.I.R.M.Rencontres法案。 全部的 前5名在15个字段中引用 83 计算机科学(68至XX) 50 数学逻辑和基础(03-XX) 46 数论(11-XX) 9 群论与推广(20-XX) 7 动力系统和遍历理论(37至XX) 5 组合数学(05-XX) 4 阶、格、有序代数结构(06-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 测量和集成(28-XX) 三 凸和离散几何(52至XX) 1 场论和多项式(12-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 结合环与代数(16-XX) 1 序列、级数、可和性(40-XX) 1 几何图形(51至XX) 按年份列出的引文