编辑配置文件(在新选项卡中打开) 艾哈迈德·巴亚特 合著者距离 作者ID: 巴亚特·艾哈迈德 发布日期: 艾哈迈德·巴亚特 已编制索引的文档: 5出版物自2019年起 合著者: 4位合著者具有5联合出版物 72位合作作者 合著者 0 单作者的 5 贾尔斯·里格尔 1 克莱门斯·艾森霍费尔 1 帕米娜·乔治奥 1 科瓦奇,劳拉·伊尔迪科 系列 领域 5 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用30中的次21文件 引用人▼ 年份▼ 基于组合的高阶逻辑叠加演算。 Zbl 07614518号 艾哈迈德·巴亚特;贾尔斯·里格尔 17 2020 受限组合统一。 Zbl 07178970号 艾哈迈德·巴亚特;贾尔斯·里格尔 10 2019 定向组合方程的类Knuth-Bendix排序。 兹伯利07614517 艾哈迈德·巴亚特;贾尔斯·里格尔 三 2020 基于组合的高阶逻辑叠加演算。 Zbl 07614518号 艾哈迈德·巴亚特;贾尔斯·里格尔 17 2020 定向组合方程的类Knuth-Bendix排序。 Zbl 07614517号 艾哈迈德·巴亚特;贾尔斯·里格尔 三 2020 受限组合统一。 Zbl 07178970号 艾哈迈德·巴亚特;贾尔斯·里格尔 10 2019 所有引用出版物 前5名被引用出版物 全部的 前5名被21位作者引用 9 贾斯敏·克里斯蒂安·布兰切特 8 佩塔·武克米罗维奇 7 亚历山大·本特坎普 6 索菲·托雷特 4 杰夫·萨特克利夫 三 艾哈迈德·巴亚特 三 西蒙·克鲁恩斯 三 Nummelin,签证 三 贾尔斯·里格尔 三 乌韦·沃尔德曼 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 玛丽亚·保拉(Maria Paola Bonacina) 2 亚历山大·斯蒂恩 1 迈克尔·比森。 1 乍得·布朗·爱德华 1 安托万·笛福内 1 马里恩·赫勒。 1 塞萨里·卡利西克 1 迈克尔·基扬(Michael K.Kinyon)。 1 西蒙·罗比拉德 1 托拜厄斯·斯科尔 引用于4个系列 6 自动化推理杂志 三 计算机科学中的逻辑方法 2 人工智能通信 1 ACM计算逻辑事务 在3个字段中引用 21 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 按年份列出的引文