编辑配置文件（在新选项卡中打开） 佩特科维奇·科梅尔（Anja PetkovićKomel） 合著者距离 作者ID： 佩特科维奇-科梅尔阿尼亚 发布日期： 佩特科维奇·科梅尔（Anja PetkovićKomel） 已编制索引的文档： 1出版物自2022年起 合著者： 1位合著者具有1联合出版物 41位合作作者 合著者 0 单作者的 1 安德烈·鲍尔 系列 1 计算机科学中的逻辑方法 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 一种用于依赖类型理论的可扩展等式检查算法。 兹比尔1504.68276 安德烈·鲍尔;佩特科维奇·科梅尔（Anja PetkovićKomel） 1 2022 一种用于依赖类型理论的可扩展等式检查算法。 兹比尔1504.68276 安德烈·鲍尔;佩特科维奇·科梅尔（Anja PetkovićKomel） 1 2022 2位作者引用 1 安德烈·鲍尔 1 菲利普·哈塞尔瓦特（Philipp G.Haselwarter）。 连载1篇 1 自动推理杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文