编辑配置文件（在新选项卡中打开） 弗雷德里克·诺德瓦尔·福斯伯格 合著者距离 作者ID： 诺德瓦尔·福斯伯格·弗雷德里克 发布日期： 弗雷德里克·诺德瓦尔·福斯伯格;弗雷德里克·诺德瓦尔，福斯伯格 外部链接： MGP公司·ORCID公司 已编制索引的文档： 24出版物自2010年起，包括2个附加arXiv预打印 1名编辑贡献 合著者： 30位合著者具有25联合出版物 320位合著者 全部的 前5名合著者 0 单作者的 16 尼尔·加尼 4 克莱门斯·库普克 4 费德里科·奥尔萨尼戈 4 安东·塞泽尔 三 克劳斯，尼古拉 三 杰雷米·莱登特 三 洛伦佐·马拉特斯塔 三 徐创杰 2 托尔斯滕·阿滕柯奇 2 罗伯特·艾奇 2 马泰奥·卡布奇 2 阿拉斯代尔·兰伯特 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 乌尔里希·伯杰 1 保罗·卡普里奥蒂 1 盖布·迪杰斯特拉 1 布鲁诺加夫拉诺维奇 1 帕特里夏·约翰 1 卡波西，安布罗斯 1 安德鲁·劳伦斯 1 麦克布赖德，康纳·托马斯 1 宫本贤治 1 彼得·莫里斯（Peter A.Morris）。 1 蒂姆，狂欢 1 蒂莫西，狂欢吧 1 赫尔穆特·施维赫滕贝格 1 莫妮卡·塞森伯格 1 亚历克斯·K·辛普森。 1 斯蒂芬·斯潘 1 萨姆·斯塔顿 系列 2 理论计算机科学 2 计算机科学中的逻辑方法 1 MSCS公司。计算机科学中的数学结构 1 LIPIcs–莱布尼茨国际信息学会议录 领域 16 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 8 范畴理论；同调代数（18-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用63中的次51文件 引用人▼ 年份▼ 商诱导类型。 Zbl 1506.03063号 托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;盖布·迪杰斯特拉;克劳斯，尼古拉;弗雷德里克·诺德瓦尔·福斯伯格 15 2018 感应感应定义。 Zbl 1287.68114号 弗雷德里克·诺德瓦尔·福斯伯格;安东·塞泽尔 9 2010 归纳归纳定义的范畴语义。 Zbl 1344.68143号 托尔斯滕·阿滕柯奇;彼得·莫里斯;弗雷德里克·诺德瓦尔·福斯伯格;安东·塞泽尔 7 2011 对迭代开放游戏的组合处理。 Zbl 1416.91036号 尼尔·加尼;克莱门斯·库普克;阿拉斯代尔·兰伯特;弗雷德里克·诺德瓦尔·福斯伯格 7 2018 参数多态的双有理函数语义。 Zbl 1351.68072号 尼尔·加尼;帕特里夏·约翰;弗雷德里克·诺德瓦尔·福斯伯格;费德里科·奥尔萨尼戈;蒂姆，狂欢 6 2015 积极的归纳-递归定义。 兹比尔1395.68189 尼尔·加尼;洛伦佐·马拉特斯塔;弗雷德里克·诺德瓦尔·福斯伯格 5 2013 参数多态性——普遍存在。 Zbl 1465.68049号 尼尔·加尼;弗雷德里克·诺德瓦尔·福斯伯格;费德里科·奥尔萨尼戈 4 2015 从嵌套定义中提取程序。 Zbl 1317.68223号 宫本健二;弗雷德里克·诺德瓦尔·福斯伯格;赫尔穆特·施维赫滕贝格 2 2013 提取经验证的决策程序：DPLL和解决方案。 Zbl 1448.68454号 乌尔里希·伯杰;安德鲁·劳伦斯;弗雷德里克·诺德瓦尔·福斯伯格;莫妮卡·塞森伯格 2 2015 综合参数多态性：范畴模型和类型理论。 Zbl 1475.68061号 尼尔·加尼;弗雷德里克·诺德瓦尔·福斯伯格;亚历克斯·辛普森 1 2016 证明相关参数。 Zbl 1343.68057号 尼尔·加尼;弗雷德里克·诺德瓦尔·福斯伯格;费德里科·奥尔萨尼戈 1 2016 无限视界广泛形式的博弈，联合。 Zbl 07722654号 马泰奥·卡布奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2023 归纳归纳定义的有限公理化。 Zbl 1352.68170号 弗雷德里克·诺德瓦尔·福斯伯格;安东·塞泽尔 1 2012 双振参数中泛型的泛性质。 Zbl 1422.68032号 尼尔·加尼;弗雷德里克·诺德瓦尔·福斯伯格;费德里科·奥尔萨尼戈 1 2019 成分博弈论，成分。 Zbl 1480.91052号 罗伯特·艾奇;加夫拉诺维奇，布鲁诺;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2021 无限视界广泛形式的博弈，联合。 Zbl 07722654号 马泰奥·卡布奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2023 成分博弈论，成分。 Zbl 1480.91052号 罗伯特·艾奇;布鲁诺加夫拉诺维奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2021 双振参数中泛型的泛性质。 Zbl 1422.68032号 尼尔·加尼;弗雷德里克·诺德瓦尔·福斯伯格;费德里科·奥尔萨尼戈 1 2019 商诱导类型。 Zbl 1506.03063号 托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;盖布·迪杰斯特拉;克劳斯，尼古拉;弗雷德里克·诺德瓦尔·福斯伯格 15 2018 对迭代开放游戏的组合处理。 Zbl 1416.91036号 尼尔·加尼;克莱门斯·库普克;阿拉斯代尔·兰伯特;弗雷德里克·诺德瓦尔·福斯伯格 7 2018 综合参数多态性：范畴模型和类型理论。 Zbl 1475.68061号 尼尔·加尼;弗雷德里克·诺德瓦尔·福斯伯格;亚历克斯·辛普森 1 2016 证明相关参数。 兹比尔1343.68057 尼尔·加尼;弗雷德里克·诺德瓦尔·福斯伯格;费德里科·奥尔萨尼戈 1 2016 参数多态的双有理函数语义。 Zbl 1351.68072号 尼尔·加尼;帕特里夏·约翰;弗雷德里克·诺德瓦尔，福斯伯格;费德里科·奥尔萨尼戈;蒂姆，狂欢 6 2015 参数多态性——普遍存在。 Zbl 1465.68049号 尼尔·加尼;弗雷德里克·诺德瓦尔·福斯伯格;费德里科·奥尔萨尼戈 4 2015 提取经验证的决策程序：DPLL和解决方案。 Zbl 1448.68454号 乌尔里希·伯杰;安德鲁·劳伦斯;弗雷德里克·诺德瓦尔·福斯伯格;莫妮卡·塞森伯格 2 2015 积极的归纳-递归定义。 Zbl 1395.68189号 尼尔·加尼;洛伦佐·马拉特斯塔;弗雷德里克·诺德瓦尔·福斯伯格 5 2013 从嵌套定义中提取程序。 Zbl 1317.68223号 宫本贤治;弗雷德里克·诺德瓦尔·福斯伯格;赫尔穆特·施维赫滕贝格 2 2013 归纳归纳定义的有限公理化。 Zbl 1352.68170号 弗雷德里克·诺德瓦尔·福斯伯格;安东·塞泽尔 1 2012 归纳归纳定义的范畴语义。 Zbl 1344.68143号 托尔斯滕·阿滕柯奇;彼得·莫里斯;弗雷德里克·诺德瓦尔·福斯伯格;安东·塞泽尔 7 2011 感应感应定义。 Zbl 1287.68114号 弗雷德里克·诺德瓦尔·福斯伯格;安东·塞泽尔 9 2010 所有引用出版物 前5名被引用出版物 全部的 前5名85位作者引用 10 尼尔·加尼 9 弗雷德里克·诺德瓦尔·福斯伯格 4 托尔斯滕·阿滕柯奇 4 安布罗斯·卡波西 4 费德里科·奥尔萨尼戈 三 马泰奥·卡布奇 三 布鲁诺加夫拉诺维奇 三 科瓦奇，安德拉斯 三 克劳斯，尼古拉 三 克莱门斯·库普克 三 范德维德，尼尔斯 2 乌尔里希·伯杰 2 西蒙·博利埃 2 彼得·戴比杰 2 朱尔斯·赫奇斯 2 帕特里夏·约翰 2 安布罗斯·拉丰 2 杰雷米·莱登特 2 安德鲁·皮特斯（Andrew M.Pitts）。 2 克里斯蒂安·萨特勒 2 南卡罗来纳州斯廷坎普。 2 尼科洛·维尔特里 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 斯蒂芬·阿德尔斯伯格 1 阿伦斯，贝内迪克特 1 丹尼尔·安尼科夫 1 罗伯特·艾奇 1 巴索尔德，亨宁 1 马克·贝泽姆 1 Bidlingmaier，Martin E。 1 保罗·卡普里奥蒂 1 瑟·特凡·乔巴赫 1 可口、蒂埃里 1 杰弗里·S·H·克鲁特韦尔。 1 丹尼尔森、尼尔斯·安德斯 1 吉姆·德·格罗特 1 弗洛里安·费索尔 1 马塞洛·菲奥雷（Marcelo P.Fiore）。 1 丹·弗鲁明 1 科林·杰尼特 1 简·赫尔曼·杰弗斯 1 恩里科·吉奥尔齐 1 彼得·汉考克。 1 安德烈·赫肖维茨 1 汤姆·赫肖维茨 1 Hötzel Escardó，马汀 1 侯铁 1 胡杰森Z.S。 1 维奥雷尔·奥尔达奇 1 张俊英 1 丹尼尔·杰弗里斯 1 巴兹尔·卡戴斯。 1 阿拉斯代尔·兰伯特 1 丹尼尔·李卡塔（Daniel R.Licata）。 1 彼得·勒法努·卢姆斯代恩 1 马可·马格西 1 麦克布赖德，康纳·托马斯 1 雨果·莫内克莱 1 莫格尔贝里，拉斯穆斯·埃杰勒斯 1 彼得·莫里斯（Peter A.Morris）。 1 新，Max S。 1 德克·帕丁森 1 马尔科·帕维奥蒂 1 碧姬·品特卡 1 兰迪·波拉克 1 蒂姆，狂欢 1 埃吉尔·弗杰尔德格伦·里舍尔 1 高府樱井 1 佐藤真彦 1 赫尔穆特·施维赫滕贝格 1 菲利波·塞斯蒂尼 1 安东·塞泽尔 1 Michael A.舒尔曼。 1 亚历克斯·K·辛普森。 1 溅出物，Bas 1 乔纳森·斯特林 1 彼得·斯特劳弗特（Peter A.Streufert）。 1 阿伦·斯塔姆 1 安德鲁·斯旺。 1 尼古拉斯·塔巴鲁 1 蒂瓦里，S.P。 1 Hideki Tsuiki 1 保罗·W·威尔逊。 1 徐创杰 1 法比奥·扎纳西 全部的 前5名9篇连载文章中引用 10 MSCS公司。计算机科学中的数学结构 6 计算机科学中的逻辑方法 三 函数编程杂志 2 纯逻辑与应用逻辑年鉴 1 剑桥哲学学会数学进展杂志 1 模糊集与系统 1 理论计算机科学 1 Indagationes Mathematicae公司。新系列 1 数学逻辑季刊（MLQ） 全部的 前5名在8个字段中引用 31 数学逻辑和基础（03-XX） 30 计算机科学（68至XX） 19 范畴理论；同调代数（18-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 代数拓扑（55-XX） 2 阶、格、有序代数结构（06-XX） 1 测量和集成（28-XX） 1 系统论；控制（93至XX） 按年份列出的引文