编辑配置文件（在新选项卡中打开） 亚历山大·洛赫曼 合著者距离 作者ID： 莱克曼 发布日期： 亚历山大·洛赫曼 已编制索引的文档： 5出版物自2012年起 合著者： 3位合著者具有3联合出版物 54位合作作者 合著者 0 单作者的 三 阿尔特·米德尔多普 2 伊斯特万·赫肯伯格 2 费比安·米特沃纳 2 莱安德罗·文德拉明 1 伯特伦·费尔根豪尔 系列 1 美国数学学会会刊 1 自动推理杂志 1 转换组 全部的 前5名领域 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 2 结合环与代数（16-XX） 2 群论与推广（20-XX） 1 交换代数（13-XX） 1 动力系统和遍历理论（37至XX） 按年份列出的出版物 zbMATH Open中包含的引文 4出版物被引用3中的次2文件 引用人▼ 年份▼ 编织架、Hurwitz作用和具有许多立方关系的Nichols代数。 兹比尔1255.16034 我·赫肯伯格。;A.洛赫曼。;文德拉明。 14 2012 具有许多立方关系的Nichols代数。 Zbl 1334.16034号 我·赫肯伯格。;A.洛赫曼。;文德拉明。 6 2015 重写一阶理论中无限和正规形式谓词的形式化证明。 Zbl 1483.68149号 亚历山大·洛赫曼;阿尔特·米德尔多普 2 2020 在重写的一阶理论中证明证明。 兹比尔1474.68166 费比安·米特沃纳;亚历山大·洛赫曼;阿尔特·米德尔多普;伯特伦·费尔根豪尔 1 2021 在重写的一阶理论中证明证明。 Zbl 1474.68166号 费比安·米特沃纳;亚历山大·洛赫曼;阿尔特·米德尔多普;伯特伦·费尔根豪尔 1 2021 重写一阶理论中无限和正规形式谓词的形式化证明。 Zbl 1483.68149号 亚历山大·洛赫曼;阿尔特·米德尔多普 2 2020 具有许多立方关系的Nichols代数。 Zbl 1334.16034号 我·赫肯伯格。;A.洛赫曼。;文德拉明。 6 2015 Braided racks，Hurwitz作用和具有许多三次关系的Nichols代数。 Zbl 1255.16034号 我·赫肯伯格。;A.洛赫曼。;文德拉明。 14 2012 4位作者引用 2 亚历山大·洛赫曼 2 阿尔特·米德尔多普 2 费比安·米特沃纳 1 伯特伦·费尔根豪尔 连载1篇 1 自动推理杂志 在2个字段中引用 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文