编辑配置文件（在新选项卡中打开） 泰斯，弗兰克 合著者距离 作者ID： 苔丝。弗兰克。1 发布日期： 泰斯，弗兰克;Theiß，弗兰克 已编制索引的文档： 3出版物自2008年起 合著者： 6位合著者具有3联合出版物 149位合作作者 全部的 前5名合著者 0 单作者的 三 克里斯托夫·埃瓦尔德·本兹穆勒 2 劳伦斯·查尔斯·保尔森 1 乍得·布朗·爱德华 1 阿诺德·菲埃茨克 1 尼克·苏尔塔纳 1 杰夫·萨特克利夫 系列 1 自动推理杂志 领域 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用57次50文件 引用人▼ 年份▼ LEO-II–用于经典高阶逻辑的合作自动定理证明器。（系统描述）。 Zbl 1165.68446号 克里斯托夫·本兹穆勒;劳伦斯·C·鲍尔森。;泰斯，弗兰克;阿诺德·菲埃茨克 31 2008 高阶校准仪狮子座-二、。 Zbl 1356.68176号 克里斯托夫·本兹穆勒;尼克·苏尔塔纳;劳伦斯·C·鲍尔森。;Theiß，弗兰克 21 2015 高阶逻辑自动定理证明的发展进展。 Zbl 1250.68236号 杰夫·萨特克利夫;克里斯托夫·本兹穆勒;Brown，Chad E。;泰斯，弗兰克 5 2009 高阶校准仪狮子座-二、。 Zbl 1356.68176号 克里斯托夫·本兹穆勒;尼克·苏尔塔纳;劳伦斯·C·鲍尔森。;Theiß，弗兰克 21 2015 高阶逻辑自动定理证明的发展进展。 Zbl 1250.68236号 杰夫·萨特克利夫;克里斯托夫·本兹穆勒;Brown，Chad E。;泰斯，弗兰克 5 2009 LEO-II–用于经典高阶逻辑的合作自动定理证明器。（系统描述）。 Zbl 1165.68446号 克里斯托夫·本兹穆勒;劳伦斯·C·鲍尔森。;泰斯，弗兰克;阿诺德·菲埃茨克 31 2008 所有引用出版物 前5名被引用出版物 全部的 前5名58位作者引用 20 克里斯托夫·埃瓦尔德·本兹穆勒 8 贾斯敏·克里斯蒂安·布兰切特 7 乍得·布朗·爱德华 5 亚历山大·本特坎普 5 亚历山大·斯蒂恩 5 约瑟夫·乌尔班 4 劳伦斯·查尔斯·保尔森 4 杰夫·萨特克利夫 4 索菲·托雷特 4 佩塔·武克米罗维奇 4 布鲁诺沃尔岑洛格尔古 三 Böhme，萨沙 三 弗洛里安·拉贝 三 乌韦州瓦尔德曼 三 马克斯·维斯涅夫斯基 2 朱利安·巴克斯 2 艾哈迈德·巴亚特 2 福恩市长，大卫 2 Cezary卡利西克 2 迈克尔·科尔哈斯 2 贾尔斯·里格尔 2 克劳迪奥·萨塞尔多蒂·科恩 2 泰斯，弗兰克 1 哈尼尔·巴博萨 1 克拉克·W·巴雷特。 1 乌尔里希·伯杰 1 科恩·克莱森 1 西蒙·克鲁恩斯 1 丹尼尔·欧拉维 1 阿诺德·菲埃茨克 1 马蒂亚斯·弗勒里 1 Thibault Gauthier 1 托比亚斯Gleißner 1 侯铁英 1 马特·考夫曼 1 金·克恩 1 丹尼尔·库尔温 1 李晓楠 1 托梅尔·利巴尔 1 安·利利斯特罗姆 1 刘欣 1 J Strother摩尔 1 潘，张 1 家长，Xavier 1 安德烈·波佩斯库 1 吉赛尔·赖斯 1 安德鲁·雷诺兹 1 简·弗雷德里克·谢弗 1 达娜·斯图尔特·斯科特 1 尼古拉斯·斯莫尔博内 1 斯莫尔卡，斯特芬·尤尔夫 1 艾伯特·斯特克迈尔 1 尼克·苏尔塔纳 1 塞萨尔·蒂内利 1 范德托雷，Leendert W.N。 1 维斯科基尔 1 利昂·韦伯 1 邹、李 全部的 前5名9篇连载文章中引用 12 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 2 泛逻辑 2 计算机科学中的逻辑方法 1 人工智能 1 信息科学 1 哲学逻辑杂志 1 逻辑科公报 1 数学与人工智能年鉴 在3个字段中引用 43 计算机科学（68至XX） 29 数学逻辑和基础（03-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文