编辑配置文件（在新选项卡中打开） 乌尔里希·伯格 合著者距离 作者ID： 伯格·乌尔里奇 发布方式： 乌尔里希·伯格；美国伯杰。 主页： 网址：http://www.cs.swan.ac.uk/~csulrich/ 外部链接： MGP公司 已编制索引的文档： 62出版物自1990年以来，包括1本书 13作为编辑的贡献 合著者： 42位合著者具有49联合出版物 770名合作作者 全部的 前5名合著者 24 单作者的 14 莫尼卡·塞森伯格 12 赫尔穆特·施维赫滕贝格 7 Hideki Tsuiki 6 迪特尔·斯普林 4 侯铁英 三 斯特凡诺·贝拉尔迪 三 安东·塞泽尔 三 范·贝克尔，斯特芬 2 詹斯·布兰克 2 瓦斯科·布拉特卡 2 安德鲁·劳伦斯 2 宫本贤治 2 保罗·奥利瓦 2 奥尔加彼得罗夫斯卡 2 彼得·迈克尔·舒斯特 1 罗丝·H·阿卜杜勒·劳夫。 1 克劳斯·埃利格 1 安德烈·鲍尔 1 阿诺德·贝克曼 1 霍尔格·本尔 1 斯特凡·贝尔霍费尔 1 威尔弗里德·巴赫霍尔茨 1 汉内斯·迪纳 1 马蒂亚斯·埃贝尔 1 威廉·劳·福凯 1 纽约州约翰·富兰克林。 1 安斯加·格伦 1 马丁·霍夫曼 1 Hötzel Escardó，马汀 1 艾莉森·琼斯 1 克劳斯·凯梅尔 1 彼得·克里斯蒂安·科伯 1 皮埃尔·勒图泽伊 1 Löwe，Benedikt公司 1 弗罗林·马内亚 1 拉尔夫·马提斯 1 Mislove，Michael W。 1 安德烈·谢尔盖维奇·莫罗佐夫 1 弗雷德里克·诺德瓦尔·福斯伯格 1 霍斯特·奥斯瓦尔德 1 阿诺·保利。 1 维克托·勒沃维奇·塞利瓦诺夫 1 约翰·V·塔克。 1 Gregory J.M.伍兹。 1 马丁·齐格勒 1 沃尔夫冈·祖伯 全部的 前5名系列 8 纯逻辑与应用逻辑年鉴 6 MSCS公司。计算机科学中的数学结构 4 计算机科学中的逻辑方法 三 计算系统理论 2 计算机科学课堂讲稿 2 逻辑与分析杂志 1 Studia Logica公司 1 理论计算机科学 1 信息与计算 1 自动推理杂志 1 逻辑与计算杂志 1 游戏与经济行为 1 应用分类结构 1 数学逻辑季刊（MLQ） 1 通用计算机科学杂志 1 北约ASI系列。F.系列计算机与系统科学 1 合成库 1 理论计算机科学电子笔记 1 Ontos数理逻辑 1 程序设计中的逻辑和代数方法杂志 1 理论计算机科学电子论文集（EPTCS） 全部的 前5名领域 54 数学逻辑和基础（03-XX） 46 计算机科学（68至XX） 13 一般性和全局性主题；集合（00-XX） 2 阶、格、有序代数结构（06-XX） 2 一般拓扑结构（54至XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 52出版物有被引用286中的次161份文件 引用人▼ 年份▼ 领域理论中的集合和对象的总和。 Zbl 0776.03031号 乌尔里希·伯格 24 1993 从规范化证明中提取程序。 Zbl 0788.68015号 乌尔里希·伯格 17 1993 从经典证明中提取的精化程序。 Zbl 0992.03070号 乌尔里希·伯格；威尔弗里德·巴赫霍尔茨；赫尔穆特·施维赫滕贝格 15 2002 工作中的证明理论：minlog系统中的程序开发。 Zbl 1015.68177号 霍尔格·本尔；乌尔里希·伯格；赫尔穆特·施维赫滕贝格；莫尼卡·塞森伯格；祖伯，沃尔夫冈 13 1998 从共性证明到精确实数算术：理论与应用。 Zbl 1218.03036号 乌尔里希·伯格 13 2011 修改了条形递归。 Zbl 1101.03032号 乌尔里希·伯格；保罗·奥利瓦 11 2006 通过求值进行规范化的术语重写。 Zbl 1054.68078号 乌尔里希·伯格；马蒂亚斯·埃贝尔；赫尔穆特·施维赫滕贝格 11 2003 Minlog–支持代数和余代数的程序提取工具。 Zbl 1344.68201号 乌尔里希·伯格；宫本贤治；赫尔穆特·施维赫滕贝格；莫尼卡·塞森伯格 11 2011 统一Heyting算法。 Zbl 1081.03057号 乌尔里希·伯格 10 2005 领域理论中的总体对象和集合。 Zbl 0733.03037号 乌尔里希·伯格 10 1990 格雷码计算逻辑。 兹比尔1433.03120 乌尔里希·伯格；宫本贤治；赫尔穆特·施维赫滕贝格；Hideki Tsuiki 10 2016 从共性证明到精确实数运算。 Zbl 1218.03035号 乌尔里希·伯格 9 2009 改进的bar递归和经典依赖选择。 Zbl 1081.03059号 乌尔里希·伯格；保罗·奥利瓦 9 2005 一阶信息间接互惠下合作的稳定性。 Zbl 1394.91037号 乌尔里希·伯格；安斯加·格吕内 9 2016 证明、程序、过程。 Zbl 1280.68078号 乌尔里希·伯格；莫尼卡·塞森伯格 9 2012 归纳和共推的可实现性，以及在构造分析中的应用。 兹比尔1219.03074 乌尔里希·伯格 8 2010 Warshall算法和Dickson引理：实际程序提取的两个示例。 Zbl 0958.03009号 乌尔里希·伯格；赫尔穆特·施维赫滕贝格；莫尼卡·塞森伯格 8 2001 重新组合反模式——连续统的构造视图和非标准视图。1999年5月16日至22日，意大利威尼斯圣塞沃洛，研讨会记录。 Zbl 0982.00037号 8 2001 一种用于非增倍多项式时间计算的算法。 兹伯利1064.03036 克劳斯·埃利格；乌尔里希·伯格；马丁·霍夫曼；赫尔穆特·施维赫滕贝格 8 2004 从规范化证明中提取程序。 Zbl 1095.03016号 乌尔里希·伯格；斯特凡·贝尔霍费尔；皮埃尔·勒图泽伊；赫尔穆特·施维赫滕贝格 8 2006 直觉主义的定点逻辑。 Zbl 1498.03065号 乌尔里希·伯格；Hideki Tsuiki 8 2021 精确实数计算的复制。 Zbl 1166.68015号 乌尔里希·伯格；侯铁英 6 2008 证明、程序、过程。 Zbl 1280.68077号 乌尔里希·伯格；莫尼卡·塞森伯格 5 2010 用于强规范化的连续语义。 Zbl 1113.68418号 乌尔里希·伯格 5 2005 应用lambda结石的强归一化。 Zbl 1125.03014号 乌尔里希·伯格 4 2005 从属和超限类型的连续泛函。 Zbl 0946.03068号 乌尔里希·伯格 4 1999 通过证明转换进行程序开发。 Zbl 0856.03010号 乌尔里希·伯格；赫尔穆特·施维赫滕贝格 4 1995 用于归纳和共归纳的优化程序提取。 Zbl 1509.03089号 乌尔里希·伯格；奥尔加彼得罗夫斯卡 4 2018 域中的可计算性和总体性。 兹比尔1005.68040 乌尔里希·伯格 三 2002 从证明中提取命令程序：就地快速排序。 Zbl 1359.68042号 乌尔里希·伯格；莫尼卡·塞森伯格；格雷戈里·伍兹。 三 2014 使用紧集进行计算的共推方法。 Zbl 1396.03085号 乌尔里希·伯格；迪特尔·斯普林 三 2016 提取非确定性并发程序。 Zbl 1369.68128号 乌尔里希·伯格 三 2016 计算障碍的逻辑方法。2006年6月30日至7月5日在英国斯旺西举行的第二届欧洲可计算性会议，CiE 2006。诉讼程序。 Zbl 1102.68002号 2 2006 依赖类型的域-有生存语义的密度定理。 Zbl 0933.03078号 乌尔里希·伯格 2 1999 归纳定义和选择原则在程序综合中的应用。 兹比尔1096.03068 乌尔里希·伯格；莫尼卡·塞森伯格 2 2005 提取已验证的决策过程：DPLL和解析。 Zbl 1448.68454号 乌尔里希·伯格；安德鲁·劳伦斯；弗雷德里克·诺德瓦尔·福斯伯格；莫尼卡·塞森伯格 2 2015 普拉夫：用于程序提取的交互式证明系统。 Zbl 07633503号 乌尔里希·伯格；奥尔加彼得罗夫斯卡；Hideki Tsuiki 2 2020 部分连续函数的最小化与递归。 Zbl 1023.03041号 乌尔里希·伯格 1 2002 具有强归一化特征的领域模型。 Zbl 1153.03006号 乌尔里希·伯格 1 2008 领域的有效性和密度：一项调查。 兹比尔0958.68094 乌尔里希·伯格 1 1999 通过归纳和共归纳的类型可实现性提取程序。 Zbl 1244.03107号 乌尔里希·伯格；莫尼卡·塞森伯格 1 2010 从Gentzen的超限归纳证明中提取的程序高达\（\epsilon_0\）。 Zbl 1024.03059号 乌尔里希·伯格 1 2001 并发高斯消去。 Zbl 07722655号 乌尔里希·伯格；莫尼卡·塞森伯格；迪特尔·斯普林；Hideki Tsuiki 1 2023 专题前言：无限数据计算：拓扑和逻辑基础。 Zbl 1362.00034号 1 2015 对丘奇简单类型理论的可实现性解释。 Zbl 1423.03044号 乌尔里希·伯格；侯铁英 1 2017 经典证明的程序。 Zbl 0848.03029号 乌尔里希·伯格 1 1995 强规范化的连续语义。 Zbl 1115.03008号 乌尔里希·伯格 1 2006 类型化与非类型化的可实现性。 Zbl 1342.68047号 乌尔里希·伯格；侯铁英 1 2012 最大公约数：从经典证明中提取程序的案例研究。 Zbl 1434.03024号 美国伯杰。；施维希滕贝格，H。 1 1996 代码数据类型的等式不确定。 Zbl 1519.68145号 乌尔里希·伯格；安东·塞泽尔 1 2018 马丁·霍夫曼的非严格阳性数据类型案例。 Zbl 07561486号 乌尔里希·伯格；拉尔夫·马提斯；安东·塞泽尔 1 2019 （共同）归纳的现实性和充分性。 Zbl 1247.03126号 乌尔里希·伯格 1 2009 并发高斯消去。 Zbl 07722655号 乌尔里希·伯格；莫尼卡·塞森伯格；迪特尔·斯普林；Hideki Tsuiki 1 2023 直觉主义的定点逻辑。 Zbl 1498.03065号 乌尔里希·伯格；Hideki Tsuiki 8 2021 普拉夫：用于程序提取的交互式证明系统。 Zbl 07633503号 乌尔里希·伯格；奥尔加彼得罗夫斯卡；Hideki Tsuiki 2 2020 马丁·霍夫曼的非严格阳性数据类型案例。 Zbl 07561486号 乌尔里希·伯格；拉尔夫·马提斯；安东·塞泽尔 1 2019 优化了归纳和协同生产的程序提取。 Zbl 1509.03089号 乌尔里希·伯格；奥尔加彼得罗夫斯卡 4 2018 代码数据类型的等式不确定。 Zbl 1519.68145号 乌尔里希·伯格；安东·塞泽尔 1 2018 对丘奇简单类型理论的可实现性解释。 Zbl 1423.03044号 乌尔里希·伯格；侯铁英 1 2017 格雷码计算逻辑。 Zbl 1433.03120号 乌尔里希·伯格；宫本贤治；赫尔穆特·施维赫滕贝格；Hideki Tsuiki 10 2016 一阶信息间接互惠下合作的稳定性。 Zbl 1394.91037号 乌尔里希·伯格；安斯加·格吕内 9 2016 使用紧集进行计算的共推方法。 Zbl 1396.03085号 乌尔里希·伯格；迪特尔·斯普林 三 2016 提取非确定性并发程序。 Zbl 1369.68128号 乌尔里希·伯格 三 2016 提取已验证的决策过程：DPLL和解析。 Zbl 1448.68454号 乌尔里希·伯格；安德鲁·劳伦斯；弗雷德里克·诺德瓦尔·福斯伯格；莫尼卡·塞森伯格 2 2015 特刊前言：无限数据计算：拓扑和逻辑基础。 Zbl 1362.00034号 1 2015 从证明中提取命令程序：就地快速排序。 Zbl 1359.68042号 乌尔里希·伯格；莫尼卡·塞森伯格；格雷戈里·伍兹。 三 2014 证明、程序、过程。 Zbl 1280.68078号 乌尔里希·伯格；莫尼卡·塞森伯格 9 2012 类型化与非类型化可实现性。 Zbl 1342.68047号 乌尔里希·伯格；侯铁英 1 2012 从共性证明到精确实数算术：理论与应用。 Zbl 1218.03036号 乌尔里希·伯格 13 2011 Minlog–支持代数和余代数的程序提取工具。 Zbl 1344.68201号 乌尔里希·伯格；宫本健二；赫尔穆特·施维赫滕贝格；莫尼卡·塞森伯格 11 2011 归纳和共推的可实现性，以及在构造分析中的应用。 Zbl 1219.03074号 乌尔里希·伯格 8 2010 证明、程序、过程。 Zbl 1280.68077号 乌尔里希·伯格；莫尼卡·塞森伯格 5 2010 通过归纳和共归纳的类型可实现性提取程序。 Zbl 1244.03107号 乌尔里希·伯格；莫尼卡·塞森伯格 1 2010 从共性证明到精确实数运算。 Zbl 1218.03035号 乌尔里希·伯格 9 2009 （共同）归纳的现实性和充分性。 Zbl 1247.03126号 乌尔里希·伯格 1 2009 精确实数计算的复制。 兹比尔1166.68015 乌尔里希·伯格；侯铁英 6 2008 具有强归一化特征的领域模型。 Zbl 1153.03006号 乌尔里希·伯格 1 2008 修改了条形递归。 Zbl 1101.03032号 乌尔里希·伯格；保罗·奥利瓦 11 2006 从规范化证明中提取程序。 Zbl 1095.03016号 乌尔里希·伯格；斯特凡·贝尔霍费尔；皮埃尔·勒图泽伊；赫尔穆特·施维赫滕贝格 8 2006 计算障碍的逻辑方法。2006年6月30日至7月5日在英国斯旺西举行的第二届欧洲可计算性会议，CiE 2006。诉讼程序。 Zbl 1102.68002号 2 2006 强规范化的连续语义。 Zbl 1115.03008号 乌尔里希·伯格 1 2006 统一Heyting算法。 Zbl 1081.03057号 乌尔里希·伯格 10 2005 改进的bar递归和经典依赖选择。 Zbl 1081.03059号 乌尔里希·伯格；保罗·奥利瓦 9 2005 用于强规范化的连续语义。 Zbl 1113.68418号 乌尔里希·伯格 5 2005 适用于lambda结石的强大规范化。 Zbl 1125.03014号 乌尔里希·伯格 4 2005 归纳定义和选择原则在程序综合中的应用。 Zbl 1096.03068号 乌尔里希·伯格；莫尼卡·塞森伯格 2 2005 一种用于非增倍多项式时间计算的算法。 兹伯利1064.03036 克劳斯·埃利格；乌尔里希·伯格；马丁·霍夫曼；赫尔穆特·施维赫滕贝格 8 2004 通过求值进行规范化的术语重写。 Zbl 1054.68078号 乌尔里希·伯格；马蒂亚斯·埃贝尔；赫尔穆特·施维赫滕贝格 11 2003 从经典证明中提取的精化程序。 Zbl 0992.03070号 乌尔里希·伯格；威尔弗里德·巴赫霍尔茨；赫尔穆特·施维赫滕贝格 15 2002 域中的可计算性和总体性。 Zbl 1005.68040号 乌尔里希·伯格 三 2002 部分连续函数的最小化与递归。 Zbl 1023.03041号 乌尔里希·伯格 1 2002 Warshall算法和Dickson引理：现实程序提取的两个例子。 Zbl 0958.03009号 乌尔里希·伯格；赫尔穆特·施维赫滕贝格；莫尼卡·塞森伯格 8 2001 重新组合反模式——连续统的构造视图和非标准视图。1999年5月16日至22日，意大利威尼斯圣塞沃洛，研讨会记录。 Zbl 0982.00037号 8 2001 从Gentzen的超限归纳证明中提取的程序高达\（\epsilon_0\）。 Zbl 1024.03059号 乌尔里希·伯格 1 2001 从属和超限类型的连续泛函。 Zbl 0946.03068号 乌尔里希·伯格 4 1999 依赖类型的域-有生存语义的密度定理。 Zbl 0933.03078号 乌尔里希·伯格 2 1999 领域中的有效性和密度：一项调查。 Zbl 0958.68094号 乌尔里希·伯格 1 1999 工作中的证明理论：minlog系统中的程序开发。 Zbl 1015.68177号 霍尔格·本尔；乌尔里希·伯格；赫尔穆特·施维赫滕贝格；莫尼卡·塞森伯格；沃尔夫冈·祖伯 13 1998 最大公约数：从经典证明中提取程序的案例研究。 Zbl 1434.03024号 美国伯杰。；施维希滕贝格，H。 1 1996 通过证明转换进行程序开发。 Zbl 0856.03010号 乌尔里希·伯格；赫尔穆特·施维赫滕贝格 4 1995 经典证明的程序。 Zbl 0848.03029号 乌尔里希·伯格 1 1995 领域理论中的集合和对象的总和。 Zbl 0776.03031号 乌尔里希·伯格 24 1993 从规范化证明中提取程序。 Zbl 0788.68015号 乌尔里希·伯格 17 1993 Bereichsthorie中的总体对象和集合（领域理论中的总体对象和集合）。 Zbl 0733.03037号 乌尔里希·伯格 10 1990 所有引用出版物 前5名被引用出版物 全部的 前5名155位作者引用 17 乌尔里希·伯格 12 赫尔穆特·施维赫滕贝格 8 Hötzel Escardó，马汀 7 保罗·奥利瓦 6 山姆·桑德斯 6 迪特尔·斯普林 4 克劳斯·埃利格 4 詹斯·布兰克 4 Mircea-Dan赫内斯特 4 达格·诺曼 4 莫尼卡·塞森伯格 4 维戈·斯托尔滕贝格·汉森 4 Hideki Tsuiki 4 弗朗齐斯科斯·威斯内特 三 杰里米·阿维加德 三 安德烈·鲍尔 三 乌尔里希·威廉·科伦巴赫 三 艾奥西夫·彼得拉基斯 三 Michael Rathjen，迈克尔 三 彼得·迈克尔·舒斯特 三 Trifonov、Trifon A。 2 安德烈亚斯·阿贝尔（Andreas M.Abel）。 2 纪尧姆·阿拉伊斯 2 费德里科·阿西埃里 2 马克·比克福德 2 Samuel R.巴斯。 2 维南西奥·卡普雷塔 2 彼得·戴比杰 2 马蒂亚斯·埃贝尔 2 弗洛里安·哈夫特曼 2 侯铁英 2 罗莎莉，伊姆霍夫 2 乔治·贾帕里泽 2 巴兹尔·卡戴斯。 2 米哈伊尔·卡茨（Mikhail G.Katz）。 2 玛格丽塔·弗拉迪米洛夫娜·科罗维纳 2 Jean-Louis Krivine 2 奥列格·维克托维奇·库迪诺夫 2 皮埃尔·勒图泽 2 约翰·朗利。 2 玛丽亚·艾米莉亚·梅埃蒂 2 沃伊切赫Moczydłowski 2 托比亚斯·尼普科 2 溅出物，Bas 2 约翰·V·塔克。 1 马克·艾吉尔 1 谢尔盖·阿特莫夫 1 罗伯特·艾奇 1 尼古拉·巴热诺夫（Nikola Bazhenov）ĭAlekseevich 1 本奇，维埃里 1 斯特凡·贝尔霍费尔 1 马·戈扎塔·比尔纳卡 1 Dariusz Biernacki 1 拉尔斯·比克达尔 1 弗雷德里克·布兰基 1 布里塞德，伊文德·马托尔 1 威尔弗里德·巴赫霍尔茨 1 纪尧姆·伯勒 1 詹姆斯·查普曼（James T.E.Chapman）。 1 陈一香 1 瑟·特凡·乔巴赫 1 罗伯特·李，警察 1 米歇尔·康坦特 1 埃内斯托·科佩罗 1 可口、蒂埃里 1 特里斯坦·克罗拉德 1 乌戈·达尔拉戈 1 毛罗·迪·纳索 1 玛丽贝尔·费尔南德斯 1 吉恩·菲乔特 1 马塞洛·菲奥雷（Marcelo P.Fiore）。 1 詹姆·加斯帕 1 伊曼纽尔·海因里 1 阿丽亚·哈米尔 1 丹·赫内斯特 1 Ho，翁金 1 马丁·霍夫曼 1 伊丽莎白·霍沃思 1 伊利克、丹科 1 维奥雷尔·奥尔达奇 1 吉勒姆·贾伯 1 阿希姆·荣格 1 莱因哈德·卡勒 1 鲍里斯·卡茨 1 卡琳·乌萨迪（Katz，Karin Usadi） 1 伊斯托克·卡夫克勒 1 木原隆树 1 科普，尼尔斯 1 科普，尼尔斯 1 亚当·科普洛夫斯基 1 克劳斯，尼古拉 1 罗伯特·克雷伯斯 1 克里斯蒂安森，拉尔斯 1 里尔·克里斯蒂安森 1 库德雷克，塔拉斯S。 1 丹尼斯·库珀伯格 1 拉特金，E.I。 1 安德鲁·劳伦斯 1 亚历山大·莱奇 1 丹尼尔·莱万特（Daniel M.Leivant）。 …还有55位作者 全部的 前5名29篇连载文章中引用 23 纯逻辑与应用逻辑年鉴 22 理论计算机科学 16 MSCS公司。计算机科学中的数学结构 12 计算机科学中的逻辑方法 7 符号逻辑杂志 4 函数编程杂志 三 信息与计算 三 计算系统理论 三 逻辑与代数程序设计杂志 三 泛逻辑 2 Studia Logica公司 2 自动推理杂志 2 Indagationes Mathematicae公司。新系列 2 数学逻辑季刊（MLQ） 2 Oberwolfach报告 1 计算机与数学及其应用 1 西伯利亚数学杂志 1 合成 1 数学史 1 数学说明 1 数学逻辑档案 1 工程、通信和计算中的应用代数 1 应用非经典逻辑杂志 1 符号逻辑公报 1 伦敦皇家学会会刊。系列A.数学、物理和工程科学 1 埃尔肯特尼斯 1 逻辑与分析杂志 1 符号逻辑述评 1 可计算性 全部的 前5名18个领域被引用 123 数学逻辑和基础（03-XX） 84 计算机科学（68至XX） 8 阶、格、有序代数结构（06-XX） 6 一般性和全局性主题；集合（00-XX） 4 实际功能（26年X月X日） 三 一般拓扑结构（54至XX） 2 历史与传记（01-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 范畴理论；同调代数（18-XX） 1 测量和集成（28-XX） 1 动力系统和遍历理论（37至XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 按年份列出的引文