编辑配置文件(在新选项卡中打开) 斯蒂芬·福克 合著者距离 作者ID: 假斯泰潘 发布日期: 斯蒂芬·福克 外部链接: 管理程序 已编制索引的文档: 13出版物自2003年起 合著者: 8位合著者具有13联合出版物 199位合作作者 全部的 前5名合著者 0 单作者的 10 迪帕克·卡普尔 三 吉尔根·吉斯尔 三 彼得·施奈德·坎普 2 雷内·蒂曼 1 卡斯滕·福斯 1 马丁·普吕克 1 卡斯滕·辛兹 1 马哈德万·苏布拉曼尼亚姆 系列 1 自动推理杂志 领域 13 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用129中的次95文件 引用人▼ 年份▼ 机械化和改进依赖项对。 Zbl 1113.68088号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普;斯蒂芬·福克 63 2006 使用内置数字和语义数据结构进行重写的依赖项对。 Zbl 1145.68445号 斯蒂芬·福克;迪帕克·卡普尔 11 2008 使用编译器中间语言的C程序的终止分析。 Zbl 1236.68040号 斯蒂芬·福克;迪帕克·卡普尔;卡斯滕·辛兹 11 2011 证明整数项重写的终止。 Zbl 1242.68131号 卡斯滕·福斯;吉尔根·吉斯尔;马丁·普吕克;彼得·施奈德·坎普;斯蒂芬·福克 11 2009 改进依赖项对。 Zbl 1273.68320号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普;斯蒂芬·福克 10 2003 使用内置数字和语义数据结构操作终止条件重写。 Zbl 1294.68096号 斯蒂芬·福克;迪帕克·卡普尔 7 2009 重写归纳法+线性算术=决策程序。 Zbl 1358.68252号 斯蒂芬·福克;迪帕克·卡普尔 5 2012 一种用于命令式程序自动终止分析的术语重写方法。 Zbl 1250.68141号 斯蒂芬·福克;迪帕克·卡普尔 4 2009 使用隐式归纳法的归纳可判定性。 Zbl 1165.03313号 斯蒂芬·福克;迪帕克·卡普尔 2 2006 使用非自由构造函数重写的依赖项对。 Zbl 1213.68346号 斯蒂芬·福克;迪帕克·卡普尔 2 2007 公式什么时候是循环不变量? Zbl 1321.68191号 斯蒂芬·福克;迪帕克·卡普尔 2 2015 使用内置数字和集合数据结构终止上下文敏感重写。 Zbl 1274.68149号 斯蒂芬·福克;迪帕克·卡普尔 1 2010 公式什么时候是循环不变量? Zbl 1321.68191号 斯蒂芬·福克;迪帕克·卡普尔 2 2015 重写归纳法+线性算术=决策程序。 兹比尔1358.68252 斯蒂芬·福克;迪帕克·卡普尔 5 2012 使用编译器中间语言的C程序终止分析。 Zbl 1236.68040号 斯蒂芬·福克;迪帕克·卡普尔;卡斯滕·辛兹 11 2011 使用内置数字和集合数据结构终止上下文敏感重写。 Zbl 1274.68149号 斯蒂芬·福克;迪帕克·卡普尔 1 2010 证明整数项重写的终止。 Zbl 1242.68131号 卡斯滕·福斯;吉尔根·吉斯尔;马丁·普吕克;彼得·施奈德·坎普;斯蒂芬·福克 11 2009 使用内置数字和语义数据结构操作终止条件重写。 Zbl 1294.68096号 斯蒂芬·福克;迪帕克·卡普尔 7 2009 一种用于命令式程序自动终止分析的术语重写方法。 Zbl 1250.68141号 斯蒂芬·福克;迪帕克·卡普尔 4 2009 使用内置数字和语义数据结构进行重写的依赖项对。 Zbl 1145.68445号 斯蒂芬·福克;迪帕克·卡普尔 11 2008 使用非自由构造函数重写的依赖项对。 Zbl 1213.68346号 斯蒂芬·福克;迪帕克·卡普尔 2 2007 机械化和改进依赖项对。 Zbl 1113.68088号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普;斯蒂芬·福克 63 2006 使用隐式归纳法的归纳可判定性。 Zbl 1165.03313号 斯蒂芬·福克;迪帕克·卡普尔 2 2006 改进依赖关系对。 Zbl 1273.68320号 吉尔根·吉斯尔;雷内·蒂曼;彼得·施奈德·坎普;斯蒂芬·福克 10 2003 所有引用的出版物 前5名被引用出版物 全部的 前5名101位作者引用 20 吉尔根·吉斯尔 16 萨尔瓦多卢卡斯 13 阿尔特·米德尔多普 12 彼得·施奈德·坎普 10 卡斯滕·福斯 9 劳尔·古铁雷斯 9 雷内·蒂曼 6 西田,直木 5 斯蒂芬·福克 5 Nao Hirokawa 5 何塞·梅塞盖尔·瓜伊塔 5 托马斯·斯特罗德 5 德国维达尔 5 Akihisa山田 5 哈拉尔德·赞克 4 马克·布罗克施米特 4 弗洛里安·弗洛恩 4 杰拉·亨塞尔 三 阿勒科恩,比阿特丽兹 三 弗雷德里克·布兰基 三 埃米斯,法比安 三 何塞·伊波拉 三 迪帕克·卡普尔 三 马丁·科尔普 三 乔治·莫瑟 三 卡斯滕·奥托 三 莎拉·温克勒 2 斯科特·亚伦森 2 高仁青藤 2 科尼利厄斯·阿斯切尔曼 2 迈克尔·科迪什 2 米尔塔·利纳·费尔南德斯 2 Heule,Marijn J.H。 2 辛西娅·科普 2 拉斐尔·纳瓦罗·马塞特 2 拉斯·诺辛斯基 2 分手,迈克尔 2 马丁·普吕克 2 克里斯蒂安·斯特纳格尔 2 斯威德斯基,斯蒂芬 2 泽维尔·乌尔班 2 埃姆雷·约尔库 1 玛丽亚·阿尔普特 1 阿米尔·本·阿姆拉姆。 1 克里斯蒂娜·博拉莱拉斯 1 安德烈·塞巴斯蒂安·布鲁安 1 瑟·特凡·乔巴赫 1 霍雷修·西尔斯泰 1 加布里埃尔·科罗纳 1 Courtieu,Pierre皮埃尔 1 丹尼·德·施雷耶 1 穆纳乔·埃切宁 1 圣地亚哥埃斯科瓦尔 1 朱利安·福雷斯特 1 纪尧姆·杰内斯蒂尔 1 托马斯·杰奈特 1 伊莎贝·格尼迪格 1 Igor戈诺波尔斯基 1 伯恩哈德·格拉姆利希 1 马里恩·古特穆勒 1 奥利维尔·赫曼特 1 马提亚斯·霍巴赫 1 Kusakari Keiichirou 1 赫莱内·基什内尔 1 亚当·科普洛夫斯基 1 Kusakari、Keiichirou 1 丹尼尔·拉拉兹 1 皮埃尔·F·J·勒穆索。 1 Michael Leuschel先生 1 尼尔斯·洛曼 1 多雷尔·卢卡努 1 鲁帕克·马朱姆达尔 1 中村正树 1 费比安·梅耶 1 皮埃尔·埃蒂安·莫罗 1 塞萨尔·穆尼奥斯。 1 阮曼丹 1 阿尔伯特·奥利弗拉斯 1 Ouaknine,Joel O。 1 尼古拉斯·佩尔蒂埃 1 丹尼斯·佩特尔 1 阿默里·波利 1 马丁·昆森 1 卡米洛·罗查 1 恩里克·罗德里格斯-卡博内尔 1 阿尔伯特·鲁比奥 1 坂部俊彦 1 Masahiko酒井 1 津巴萨坂田 1 亚恩鲑鱼 1 迈克尔·沙珀 1 费利克斯·舍恩哈默 1 Sofronie Stokkermans,维奥利卡 1 斯蒂芬妮·斯维德斯基 1 富山,吉藤义彦 1 克里斯蒂安·冯·埃森 1 克里斯托夫·韦登巴赫 1 詹姆斯·沃雷尔。 1 山田,Toshiyuki 1 吉田纯一 …还有1位作者 全部的 前5名14篇连载文章中引用 16 自动推理杂志 7 程序设计中的逻辑与代数方法杂志 6 信息与计算 三 工程、通信和计算中的应用代数 2 信息处理信件 1 计算机与系统科学杂志 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 1 数学与人工智能年鉴 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑汇刊 1 计算机科学中的逻辑方法 在3个字段中引用 94 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文