编辑配置文件(在新选项卡中打开) 克莱门·奥伯特 合著者距离 作者ID: 奥伯特·克莱门特 发布日期: 克莱门·奥伯特 主页: https://aubert.perso.math.cnrs.fr/ 外部链接: MGP公司·逆戟鲸·arXiv公司·数据库许可证 已编制索引的文档: 25出版物自2012年起,包括7其他arXiv预打印 2作为编辑的贡献 审查活动: 10评论 合著者: 15位合著者具有21联合出版物 111位Co-Co作者 全部的 前5名合著者 6 单作者的 9 托马斯·塞勒 5 马克·巴格诺尔 4 伊奥娜·多姆尼纳·克里斯特斯库 4 托马斯·鲁比亚诺 4 内亚·鲁施 2 辛齐亚·迪·朱斯托 2 拉里萨·萨芬娜 1 彼得·布朗宁 1 西蒙·福勒 1 罗斯·霍恩 1 克里斯蒂安·约翰森 1 多里亚娜·梅迪奇 1 保罗·皮斯通 1 斯卡拉斯,阿尔凯斯特 1 丹尼尔·瓦拉卡 系列 三 程序设计中的逻辑和代数方法杂志 2 理论计算机科学电子论文集(EPTCS) 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 计算机科学中的逻辑方法 领域 20 计算机科学(68至XX) 7 数理逻辑与基础(03-XX) 三 量子理论(81-XX) 2 总体主题;集合(00-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用55中的次27文件 引用人▼ 年份▼ 配置结构和可逆性中的上下文等效性。 Zbl 1353.68193号 克莱门·奥伯特;爱荷华州克里斯特斯库 11 2017 可逆并发计算中的并发性。 Zbl 07615947号 克莱门·奥伯特 7 2022 通过群体行动表征co-NL。 Zbl 1362.68084号 克莱门·奥伯特;托马斯·塞勒 7 2016 可逆并发演算中的显式标识符和上下文。 Zbl 1476.68093号 克莱门·奥伯特;多里亚娜·梅迪奇 5 2021 对数空间和排列。 Zbl 1339.68095号 克莱门·奥伯特;托马斯·塞勒 5 2016 一元分辨率:特征化Ptime公司. Zbl 1475.68133号 克莱门·奥伯特;马克·巴格诺尔;托马斯·塞勒 5 2016 可逆性如何解决传统问题:以遗传历史保护相互模拟为例。 Zbl 07559463号 克莱门·奥伯特;爱荷华州克里斯特斯库 4 2020 逻辑编程和对数空间。 Zbl 1453.68033号 克莱门·奥伯特;马克·巴格诺尔;保罗·皮斯通;托马斯·塞勒 三 2014 构型结构上的可逆倒刺同余。 Zbl 1433.68230号 克莱门·奥伯特;爱荷华州克里斯特斯库 三 2015 针对测试的过程:定义上下文等效性。 兹伯利07595225 克莱门·奥伯特;丹尼尔·瓦拉卡 2 2022 统一和对数空间。 Zbl 1416.68076号 克莱门·奥伯特;马克·巴格诺尔 2 2014 亚对数统一布尔证明网。 Zbl 1457.68113号 克莱门·奥伯特 1 2012 可逆并发计算中的并发性。 Zbl 07615947号 克莱门·奥伯特 7 2022 针对测试的过程:定义上下文等效性。 兹伯利07595225 克莱门·奥伯特;丹尼尔·瓦拉卡 2 2022 可逆并发演算中的显式标识符和上下文。 Zbl 1476.68093号 克莱门·奥伯特;多里亚娜·梅迪奇 5 2021 可逆性如何解决传统问题:以遗传历史保护相互模拟为例。 Zbl 07559463号 克莱门·奥伯特;爱荷华州克里斯特斯库 4 2020 配置结构和可逆性中的上下文等效性。 Zbl 1353.68193号 克莱门·奥伯特;爱荷华州克里斯特斯库 11 2017 通过群体行动表征co-NL。 Zbl 1362.68084号 克莱门·奥伯特;托马斯·塞勒 7 2016 对数空间和排列。 Zbl 1339.68095号 克莱门·奥伯特;托马斯·塞勒 5 2016 一元分辨率:特征化Ptime公司. Zbl 1475.68133号 克莱门·奥伯特;马克·巴格诺尔;托马斯·塞勒 5 2016 构型结构上的可逆倒刺同余。 Zbl 1433.68230号 克莱门·奥伯特;爱荷华州克里斯特斯库 三 2015 逻辑编程和对数空间。 Zbl 1453.68033号 克莱门·奥伯特;马克·巴格诺尔;皮斯托内,保罗;托马斯·塞勒 三 2014 统一和对数空间。 Zbl 1416.68076号 克莱门·奥伯特;马克·巴格诺尔 2 2014 亚对数统一布尔证明网。 Zbl 1457.68113号 克莱门·奥伯特 1 2012 所有引用的出版物 前5名被引用出版物 全部的 前5名29位作者引用 10 克莱门·奥伯特 4 伊恩·菲利普斯。 4 托马斯·塞勒 三 伊娃·格拉弗森 三 伊万·拉内斯 三 克劳迪奥·安塔雷斯·梅齐纳 三 吉田、Nobuko 2 马克·巴格诺尔 2 伊奥娜·多姆尼纳·克里斯特斯库 2 多里亚娜·梅迪奇 1 保罗·巴尔丹 1 劳拉·博奇 1 彼得·布朗宁 1 Gianluca Curzi 1 吉安·伊夫·吉拉德 1 丹尼尔·戈拉 1 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 1 罗斯·霍恩 1 绍克·莫 1 托马索·帕多安 1 佩雷斯(Jorge A.Pérez)。 1 保罗·皮斯通 1 卢卡·罗维斯 1 伊万诺·萨尔沃 1 马可·索列里 1 丹尼尔·瓦拉卡 1 伊琳娜·B·维碧茨卡岩。 1 袁,Shoji 1 塞门·尤尔科夫 全部的 前5名6篇连载文章中引用 6 程序设计中的逻辑和代数方法杂志 三 理论计算机科学 三 MSCS公司。计算机科学中的数学结构 三 计算机科学中的逻辑方法 2 纯逻辑与应用逻辑年鉴 1 信息学报 全部的 前5名在6个字段中引用 24 计算机科学(68至XX) 12 数理逻辑与基础(03-XX) 三 量子理论(81-XX) 1 历史和传记(01-XX) 1 范畴理论;同调代数(18-XX) 1 动力系统和遍历理论(37至XX) 按年份列出的引文