编辑配置文件(在新选项卡中打开) 克里斯托夫·贝尔 合著者距离 作者ID: 贝尔勒·克里斯托普 发布日期: 克里斯托夫·贝尔;C·拜尔勒。;Ch.拜尔勒。 更多。。。较少的 已编制索引的文档: 76出版物自1985年以来,包括4本书 作为编辑的10份贡献 合著者: 40位合著者具有80联合出版物 298合著作者 全部的 前5名合著者 5 单作者的 39 加布里埃尔·克恩·伊斯伯纳 12 史蒂文·库奇 10 乔纳斯·菲利普·哈尔迪曼 10 凯·索尔瓦尔德 5 克里斯蒂安·艾奇霍恩 4 马克·芬塔默 4 格雷戈·梅耶 4 普莱塔,乌多 4 Voß,安吉丽卡 4 马可·威廉 三 伊贡博格尔 三 尼科·波提卡 2 克里斯蒂安·科莫 2 卡洛·梅吉尼 2 马可·拉格尼 2 彼得·施密特(Peter H.Schmitt)。 2 梅利哈·塞兹金 2 马丁·冯·伯格 1 约瑟夫·鲍迪什 1 亚历山大·贝克尔 1 塔尼娅·博克 1 科里·J·布茨。 1 亚历克斯·德克蒂亚 1 约琴·多尔 1 奥利弗·达索 1 托比亚斯·福尔克 1 乌尔里希·赫德斯蒂克 1 戴安娜·霍伊 1 苏希拉·卡奇 1 Kloos,Reinhold公司 1 尼科尔·科赫 1 丹尼尔·科尔 1 安妮卡·克雷默 1 卢茨·普吕默 1 克劳斯·雷纳罗林格 1 克劳斯·迪特尔·舍韦 1 利昂·施瓦泽 1 弗里德·斯托尔森堡 1 鲁迪·施图德 1 马蒂亚斯·蒂姆 全部的 前5名系列 9 数学与人工智能年鉴 4 国际近似推理杂志 三 人工智能 三 应用逻辑杂志 三 应用逻辑期刊-IfCoLog逻辑期刊及其应用 2 计算的形式方面 2 IGPL逻辑杂志 2 计算机科学课堂讲稿 1 逻辑程序设计杂志 1 计算机科学和人工智能研究 全部的 前5名领域 82 计算机科学(68至XX) 19 数理逻辑与基础(03-XX) 9 总体主题;集合(00-XX) 2 信息与通信理论、电路(94-XX) 1 交换代数(13-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 51出版物有被引用153中的次59文件 引用人▼ 年份▼ 条件知识库的怀疑c-推理的性质及其作为约束满足问题的实现。 Zbl 1448.68397号 克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳;史蒂文·库奇 15 2018 一种用于知识表示系统的有序逻辑。 Zbl 0768.68196号 C·拜尔勒。;Hedtstück,美国。;普莱塔特,美国。;施密特,P.H。;J.西克曼。 11 1992 非单调逻辑和概率逻辑的语义研究。 Zbl 1280.68245号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 10 2012 基于C表示的怀疑推理及其作为约束满足问题的特征描述。 Zbl 1475.68377号 克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳 8 2016 由极小模型类诱导的怀疑、弱怀疑和轻信推理的性质和相互关系。 兹比尔1519.68245 克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳;史蒂文·库奇 7 2021 基于偏好排序函数的怀疑、弱怀疑和轻信推理。 兹比尔1403.68253 克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳;史蒂文·库奇 7 2016 条件知识库的唯一最小范式转换系统。 Zbl 1491.68214号 克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳 5 2017 关于系统隐含和签名重命名的条件知识库的标准形式。 Zbl 1508.68355号 克里斯托夫·贝尔;乔纳斯·哈尔迪曼 5 2022 基于世界上首选结构的带有定性条件句的非单调推理。 Zbl 1519.68253号 克里斯蒂安·科莫;克里斯托夫·贝尔 5 2020 定性条件的语义分类和非单调推理关系的闭包计算。 Zbl 1487.68219号 史蒂文·库奇;克里斯托夫·贝尔 4 2021 关于蕴涵和重命名的条件知识库的标准形式。 Zbl 1456.68184号 克里斯托夫·贝尔;乔纳斯·哈尔迪曼 4 2020 迭代信念收缩的条件透视图。 Zbl 1464.68372号 凯·索尔瓦尔德;加布里埃尔·克恩·伊斯伯纳;克里斯托夫·贝尔 4 2020 条件的描述符修订:文字描述符和条件保留。 Zbl 1519.68257号 凯·索尔瓦尔德;乔纳斯·哈尔迪曼;马丁·冯·伯格;克里斯托夫·贝尔 4 2020 类型WAM的正确性证明。 Zbl 0819.68028号 Ch.拜尔勒。;Börger,E。 三 1992 沃伦抽象机中的运行时计算。 Zbl 0795.68034号 克里斯托夫·贝尔;格雷戈·梅耶 三 1994 具有抽象类型约束的WAM扩展的规范和正确性证明。 Zbl 0857.68016号 克里斯托夫·贝尔;伊贡博格尔 三 1996 用抽象状态机对条件知识发现和信念修正进行建模。 Zbl 1021.68529号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 三 2003 在最佳熵语义下,关系概率信度状态的演化及其变化的计算的概念。 Zbl 1401.68326号 尼科·波提卡;克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 三 2015 用于计算诱导的非单调推理关系的静态和演化条件知识库的编译。 Zbl 1452.68179号 克里斯托夫·贝尔;史蒂文·库奇;凯·索尔瓦尔德 三 2019 通过多态有序类型对类型化WAM扩展进行细化。 Zbl 0876.68019号 克里斯托夫·贝尔;伊贡博格尔 三 1996 不同排序函数集上定义的推理关系的比较。 Zbl 1491.68215号 克里斯托夫·贝尔;史蒂文·库奇 三 2017 基于条件知识库的非单调推理系统W。 Zbl 1508.68362号 克里斯蒂安·科莫;克里斯托夫·贝尔 三 2022 系统W的性质及其与其他归纳推理算子的关系。 Zbl 07630647号 乔纳斯·哈尔迪曼;克里斯托夫·贝尔 2 2022 使用机构研究定性和定量条件逻辑。 Zbl 1013.03018号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 2 2002 从制度的角度来看概率条件句。 Zbl 1111.03022号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 2 2005 编译用于计算c-推理关系的条件知识库。 Zbl 1508.68366号 克里斯托夫·贝尔;史蒂文·库奇;凯·索尔瓦尔德 2 2018 如何在关系概率逻辑中利用参数一致性进行最大熵推理。 Zbl 1361.68226号 马克·芬塔默;克里斯托夫·贝尔 2 2012 实施规范。 Zbl 0584.68041号 克里斯托夫·贝尔;Voß,安吉利卡 2 1985 系统生成条件知识库,直至重命名和等价。 兹比尔1525.68185 克里斯托夫·贝尔;史蒂文·库奇 2 2019 条件知识库的先行范式。 Zbl 07170132号 克里斯托夫·贝尔;史蒂文·库奇 2 2019 使用选择策略对排序函数进行迭代收缩、忽略和修订的语法拆分。 Zbl 07437035号 乔纳斯·哈尔迪曼;克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 1 2021 将实施视为一个机构。 Zbl 0639.68025号 克里斯托夫·贝尔;Voß,安吉丽卡 1 1987 逻辑程序设计语言PROTOS-L中的类型、模块和数据库。 Zbl 0747.68074号 克里斯托夫·贝尔 1 1990 关于概率独立性的最大熵模型计算的广义迭代缩放算法。 Zbl 1508.68373号 马可·威廉;加布里埃尔·克恩·伊斯伯纳;马克·芬塔默;克里斯托夫·贝尔 1 2018 概率定性缺省推理的逻辑研究。 Zbl 1273.03076号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 1 2003 定性条件语义之间的形式相似性和差异性。 Zbl 1191.68672号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 1 2009 在重写逻辑中定义标准Prolog。 Zbl 0962.68079号 M.库拉斯。;C·拜尔勒。 1 2000 用系统W实现非单调推理。 Zbl 1522.68521号 克里斯托夫·贝尔;乔纳斯·哈尔迪曼;丹尼尔·科勒;凯·索尔瓦尔德;利昂·施瓦泽 1 2022 类型化逻辑编程语言的概念、实现和应用。 Zbl 0939.68576号 克里斯托夫·贝尔 1 1995 信念修正的AsmL验证实现。 Zbl 1156.68468号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 1 2008 使用默认规则进行自动推理的系统的高级实现。(系统描述)。 Zbl 1165.68445号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳;尼科尔·科赫 1 2008 条件知识库诱导的非单调推理关系闭包的计算。 Zbl 07170136号 史蒂文·库奇;克里斯托夫·贝尔 1 2019 知识表示语言\(L_{LILOG}\)。 兹比尔0714.68100 克里斯托夫·贝尔;Dörre,约琴;普莱塔,乌多;克劳斯·罗林格;彼得·施密特(Peter H.Schmitt)。;鲁迪·施图德 1 1989 一种用于一阶缺省推理的类Z系统方法。 Zbl 1432.68444号 加布里埃尔·克恩·伊斯伯纳;克里斯托夫·贝尔 1 2015 在具有最大熵语义的关系概率条件逻辑中实现知识库的参数一致性。 Zbl 1319.68209号 克里斯托夫·贝尔;安妮卡·克雷默 1 2015 从非单调推理中的概念到使用抽象状态机和函数编程的高级实现。 Zbl 1446.68151号 克里斯托夫·贝尔;史蒂文·库奇;加布里埃尔·克恩·伊斯伯纳 1 2018 系统\(\text{Z}^{\text{FO}}\):对一元一阶条件知识库使用类系统Z排序函数进行默认推理。 Zbl 1419.68107号 克里斯托夫·贝尔;托比亚斯·福尔克;史蒂文·库奇;加布里埃尔·克恩·伊斯伯纳 1 2017 用于解决条件逻辑推理问题的系统和实现。 Zbl 1475.68365号 克里斯托夫·贝尔 1 2016 使用最大熵原理和Gröbner基理论的概率知识表示。 Zbl 1420.68203号 加布里埃尔·克恩·伊斯伯纳;马可·威廉;克里斯托夫·贝尔 1 2017 根据上下文信息对运动学进行排序以进行修改。 Zbl 1494.68263号 梅利哈·塞兹金;加布里埃尔·克恩·伊斯伯纳;克里斯托夫·贝尔 1 2021 迭代修正的运动学原理。 Zbl 07638297号 加布里埃尔·克恩·伊斯伯纳;梅利哈·塞兹金;克里斯托夫·贝尔 1 2023 迭代修正的运动学原理。 Zbl 07638297号 加布里埃尔·克恩·伊斯伯纳;梅利哈·塞兹金;克里斯托夫·贝尔 1 2023 关于系统隐含和签名重命名的条件知识库的标准形式。 Zbl 1508.68355号 克里斯托夫·贝尔;乔纳斯·哈尔迪曼 5 2022 基于条件知识库的非单调推理系统W。 Zbl 1508.68362号 克里斯蒂安·科莫;克里斯托夫·贝尔 三 2022 系统W的性质及其与其他归纳推理算子的关系。 Zbl 07630647号 乔纳斯·哈尔迪曼;克里斯托夫·贝尔 2 2022 用系统W实现非单调推理。 Zbl 1522.68521号 克里斯托夫·贝尔;乔纳斯·哈尔迪曼;丹尼尔·科勒;凯·索尔瓦尔德;利昂·施瓦泽 1 2022 由极小模型类诱导的怀疑、弱怀疑和轻信推理的性质和相互关系。 Zbl 1519.68245号 克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳;史蒂文·库奇 7 2021 定性条件的语义分类和非单调推理关系的闭包计算。 Zbl 1487.68219号 史蒂文·库奇;克里斯托夫·贝尔 4 2021 使用选择策略对排序函数进行迭代收缩、忽略和修订的语法拆分。 Zbl 07437035号 乔纳斯·哈尔迪曼;克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 1 2021 根据上下文信息对运动学进行排序以进行修改。 Zbl 1494.68263号 梅利哈·塞兹金;加布里埃尔·克恩·伊斯伯纳;克里斯托夫·贝尔 1 2021 基于世界上首选结构的带有定性条件句的非单调推理。 Zbl 1519.68253号 克里斯蒂安·科莫;克里斯托夫·贝尔 5 2020 关于蕴涵和重命名的条件知识库的标准形式。 Zbl 1456.68184号 克里斯托夫·贝尔;乔纳斯·哈尔迪曼 4 2020 迭代信念收缩的条件透视图。 Zbl 1464.68372号 凯·索尔瓦尔德;加布里埃尔·克恩·伊斯伯纳;克里斯托夫·贝尔 4 2020 条件的描述符修订:文字描述符和条件保留。 Zbl 1519.68257号 凯·索尔瓦尔德;乔纳斯·哈尔迪曼;马丁·冯·伯格;克里斯托夫·贝尔 4 2020 用于计算诱导的非单调推理关系的静态和演化条件知识库的编译。 Zbl 1452.68179号 克里斯托夫·贝尔;史蒂文·库奇;凯·索尔瓦尔德 三 2019 条件性知识的系统生成以重命名和等价为基础。 兹比尔1525.68185 克里斯托夫·贝尔;史蒂文·库奇 2 2019 关于条件知识库的先行范式。 兹伯利07170132 克里斯托夫·贝尔;史蒂文·库奇 2 2019 条件知识库诱导的非单调推理关系闭包的计算。 Zbl 07170136号 史蒂文·库奇;克里斯托夫·贝尔 1 2019 条件知识库的怀疑c-推理的性质及其作为约束满足问题的实现。 Zbl 1448.68397号 克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳;史蒂文·库奇 15 2018 编译用于计算c-推理关系的条件知识库。 Zbl 1508.68366号 克里斯托夫·贝尔;史蒂文·库奇;凯·索尔瓦尔德 2 2018 考虑概率独立性的最大熵模型计算的广义迭代缩放算法。 Zbl 1508.68373号 马可·威廉;加布里埃尔·克恩·伊斯伯纳;马克·芬塔默;克里斯托夫·贝尔 1 2018 从非单调推理中的概念到使用抽象状态机和函数编程的高级实现。 Zbl 1446.68151号 克里斯托夫·贝尔;史蒂文·库奇;加布里埃尔·克恩·伊斯伯纳 1 2018 条件知识库的唯一最小范式转换系统。 Zbl 1491.68214号 克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳 5 2017 不同排序函数集上定义的推理关系的比较。 Zbl 1491.68215号 克里斯托夫·贝尔;史蒂文·库奇 三 2017 系统\(\text{Z}^{\text{FO}}\):对一元一阶条件知识库使用类系统Z排序函数进行默认推理。 Zbl 1419.68107号 克里斯托夫·贝尔;托比亚斯·福尔克;史蒂文·库奇;加布里埃尔·克恩·伊斯伯纳 1 2017 使用最大熵原理和Gröbner基理论的概率知识表示。 Zbl 1420.68203号 加布里埃尔·克恩·伊斯伯纳;马可·威廉;克里斯托夫·贝尔 1 2017 基于C表示的怀疑推理及其作为约束满足问题的特征描述。 Zbl 1475.68377号 克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳 8 2016 基于首选排名函数的怀疑、弱怀疑和轻信推理。 Zbl 1403.68253号 克里斯托夫·贝尔;克里斯蒂安·艾奇霍恩;加布里埃尔·克恩·伊斯伯纳;史蒂文·库奇 7 2016 用于解决条件逻辑推理问题的系统和实现。 Zbl 1475.68365号 克里斯托夫·贝尔 1 2016 在最佳熵语义下,关系概率信度状态的演化及其变化的计算的概念。 Zbl 1401.68326号 尼科·波提卡;克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 三 2015 一种用于一阶缺省推理的类Z系统方法。 Zbl 1432.68444号 加布里埃尔·克恩·伊斯伯纳;克里斯托夫·贝尔 1 2015 在具有最大熵语义的关系概率条件逻辑中实现知识库的参数一致性。 Zbl 1319.68209号 克里斯托夫·贝尔;安妮卡·克雷默 1 2015 非单调逻辑和概率逻辑的语义研究。 Zbl 1280.68245号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 10 2012 如何在关系概率逻辑中利用参数一致性进行最大熵推理。 Zbl 1361.68226号 马克·芬塔默;克里斯托夫·贝尔 2 2012 定性条件语义之间的形式相似性和差异性。 Zbl 1191.68672号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 1 2009 信念修正的AsmL验证实现。 Zbl 1156.68468号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 1 2008 使用默认规则进行自动推理的系统的高级实现。(系统描述)。 兹比尔1165.68445 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳;妮可·科赫 1 2008 从制度的角度来看概率条件。 Zbl 1111.03022号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 2 2005 用抽象状态机对条件知识发现和信念修正进行建模。 Zbl 1021.68529号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 三 2003 概率定性缺省推理的逻辑研究。 Zbl 1273.03076号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 1 2003 使用机构研究定性和定量条件逻辑。 Zbl 1013.03018号 克里斯托夫·贝尔;加布里埃尔·克恩·伊斯伯纳 2 2002 在重写逻辑中定义标准Prolog。 Zbl 0962.68079号 M.库拉斯。;C·拜尔勒。 1 2000 具有抽象类型约束的WAM扩展的规范和正确性证明。 Zbl 0857.68016号 克里斯托夫·贝尔;伊贡博格尔 三 1996 通过多态有序类型对类型化WAM扩展进行细化。 Zbl 0876.68019号 克里斯托夫·贝尔;伊贡博格尔 三 1996 类型化逻辑编程语言的概念、实现和应用。 Zbl 0939.68576号 克里斯托夫·贝尔 1 1995 沃伦抽象机中的运行时计算。 Zbl 0795.68034号 克里斯托夫·贝尔;格雷戈·梅耶 三 1994 一种用于知识表示系统的有序逻辑。 Zbl 0768.68196号 C·拜尔勒。;Hedtstück,美国。;普莱塔特,美国。;施密特,P.H。;J.西克曼。 11 1992 类型WAM的正确性证明。 Zbl 0819.68028号 Ch.拜尔勒。;Börger,E。 三 1992 逻辑程序设计语言PROTOS-L中的类型、模块和数据库。 Zbl 0747.68074号 克里斯托夫·贝尔 1 1990 知识表示语言(L_{LILOG})。 Zbl 0714.68100号 克里斯托夫·贝尔;约琴·多尔;普莱塔,乌多;克劳斯·罗林格;彼得·施密特(Peter H.Schmitt)。;鲁迪·施图德 1 1989 将实施视为一个机构。 兹伯利0639.68025 克里斯托夫·贝尔;Voß,安吉利卡 1 1987 实施规范。 Zbl 0584.68041号 克里斯托夫·贝尔;Voß,安吉丽卡 2 1985 所有引用的出版物 前5名被引用出版物 全部的 前5名70位作者引用 25 克里斯托夫·贝尔 16 加布里埃尔·克恩·伊斯伯纳 7 乔纳斯·菲利普·哈尔迪曼 5 史蒂文·库奇 4 凯·索尔瓦尔德 三 伊贡博格尔 三 劳拉·佐丹奴 三 肯·卡内瓦 三 尼科·波提卡 三 安德烈·塔莱基 2 曹楚宏 2 克里斯蒂安·艾奇霍恩 2 马克·芬塔默 2 托马索·弗拉米尼奥 2 路易斯·戈多 2 唐纳德·桑内拉。 2 梅利哈·塞兹金 2 马蒂亚斯·蒂姆 1 巴博萨、路易斯·索亚雷斯 1 约瑟夫·鲍迪什 1 亚历山大·贝克尔 1 布兰登·伯勒 1 贾科莫·博纳诺 1 比尔科特,汉斯·尤根 1 罗德·M·伯斯托尔。 1 安东尼·科恩(Anthony G.Cohn)。 1 卡尔·克里 1 彼得·克雷塞(Peter N.Creasy)。 1 邓勇 1 托比亚斯·福尔克 1 安东尼奥·加维兰斯 1 安吉洛·吉利奥 1 瓦伦蒂娜·格里奥齐 1 Joseph Amadee Goguen先生 1 埃尔萨·甘特。 1 罗伯特·哈珀 1 乌尔里希·赫德斯蒂克 1 罗尔夫·亨尼克 1 伯恩哈德·霍兰德 1 海克尔·霍斯尼 1 丹尼尔·胡弗曼 1 丹尼尔·科尔 1 克里斯蒂安·科莫 1 科斯塔斯·库特拉斯。 1 安妮卡·克雷默 1 阿明·劳克斯 1 哈维尔·利奇 1 李丽怡 1 Liaskos,Konstantinos B。 1 保罗·利伯拉托雷 1 亚历山大·马德拉 1 马丁·奥列特,纳西索 1 佩德罗·杰苏斯·马汀 1 马丁斯(Manuel António Martins) 1 何塞·梅塞盖尔·瓜伊塔 1 克里斯托斯·莫伊泽斯 1 克里斯托斯·诺米科斯 1 佐兰·奥格尼亚诺维奇 1 普莱塔,乌多 1 亨利·普拉肯 1 克里斯托斯·兰苏迪斯 1 朱塞佩·桑菲利波 1 彼得·施密特(Peter H.Schmitt)。 1 利昂·施瓦泽 1 塞塞迪尔·杜普雷,丹尼尔 1 马丁·冯·伯格 1 特鲁迪·威贝尔 1 克里斯托夫·韦登巴赫 1 马可·威廉 1 薛一格 全部的 前5名15连载 11 数学与人工智能年鉴 9 国际近似推理杂志 6 人工智能 4 计算的形式方面 三 理论计算机科学 2 纯逻辑与应用逻辑年鉴 2 新一代计算 1 计算机与数学及其应用 1 符号计算杂志 1 应用非经典逻辑杂志 1 软计算 1 国际不确定性、模糊性和基于知识的系统杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 应用逻辑杂志 全部的 前5名在7个字段中引用 54 计算机科学(68至XX) 17 数理逻辑与基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 一般代数系统(08-XX) 1 交换代数(13-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文