编辑配置文件（在新选项卡中打开） 托马斯·图尔克 合著者距离 作者ID： 图尔克·托马斯 发布日期： 托马斯·图尔克 已编制索引的文档： 4出版物自2005年以来 合著者： 4位合著者具有3联合出版物 76位合作作者 合著者 1 单作者的 1 拉马纳·库马尔 1 彼得·兰米奇 1 玛格努斯·奥·米林。 1 克劳斯·施耐德 系列 领域 4 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用30次26文件 引用人▼ 年份▼ 将一元程序的数据求精应用于Hopcroft算法。 Zbl 1360.68757号 彼得·兰米奇;托马斯·图尔克 25 2012 HOL中Smallfoot的正式化。 Zbl 1252.68266号 托马斯·图尔克 5 2009 将一元程序的数据精化应用于Hopcroft算法。 Zbl 1360.68757号 彼得·兰米奇;托马斯·图尔克 25 2012 HOL中Smallfoot的正式化。 兹比尔1252.68266 托马斯·图尔克 5 2009 所有引用出版物 前5名被引用出版物 全部的 前5名38位作者引用 12 彼得·兰米奇 4 安德烈亚斯·洛赫比勒 三 马克西米利安·哈斯贝克。 2 托比亚斯·尼普科 2 Sefidgar，S.礼萨 1 杰苏斯·阿兰塞 1 塔比亚·博迪斯 1 朱利安·布伦纳 1 乔治·卡尔 1 陈，冉 1 科恩，西里尔 1 科尼利厄斯·迪克曼 1 迪诺·迪斯特法诺 1 何塞·迪瓦松 1 霍尔格·加斯特 1 迈克尔·J·C·戈登。 1 侯哲 1 拉尔斯·胡佩尔 1 珍妮·雅克·利维 1 刘，杨 1 肯·马德勒 1 朱利叶斯·迈克利斯 1 玛格努斯·奥·米林。 1 劳伦斯·查尔斯·保尔森 1 Rasmus Lerchedahl彼得森 1 亚历克斯·波坦 1 托比亚斯·伦格 1 大卫·萨南 1 伊娜·谢弗 1 Joshua P.施耐德。 1 亚历杭德罗·塔马利特 1 Laurent Théry 1 托马斯·图姆 1 阿文·费南托（Alwen Fernanto Tiu） 1 城市，基督教 1 马卡里乌斯·温泽尔 1 吴春汉 1 张兴元 5篇连载文章中引用 8 自动推理杂志 1 计算机程序设计科学 1 计算的形式方面 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 全部的 前5名在8个字段中引用 26 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 2 组合数学（05-XX） 2 运筹学、数学规划（90-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 范畴理论；同调代数（18-XX） 1 数值分析（65-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文