编辑配置文件(在新选项卡中打开) 安德烈亚斯·阿贝尔(Andreas M.Abel)。 合著者距离 作者ID: 阿伯尔·安德烈亚斯·姆 发布日期: 安德烈亚斯·亚贝尔;安德烈亚斯·阿贝尔(Andreas M.Abel)。 外部链接: MGP公司 已编制索引的文档: 53出版物自1996年以来,包括1个附加arXiv预打印 2作为编辑的贡献 合著者: 30位合著者具有34份联合出版物 384位合作作者 全部的 前5名合著者 20 单作者的 8 可口、蒂埃里 7 碧姬·品特卡 4 拉尔夫·马提斯 三 托尔斯滕·阿滕柯奇 三 彼得·戴比杰 三 安东·塞泽尔 2 杰斯珀·考克斯 2 米盖尔·帕加诺 2 大卫·希伯多 2 塔尔莫乌斯塔卢 2 安德烈亚·维佐西 1 斯蒂芬·阿德尔斯伯格 1 克劳斯·埃利格 1 纪尧姆·阿拉伊斯 1 詹姆斯·查普曼(James T.E.Chapman)。 1 多米尼克·德夫里塞 1 Aliya Hameer 1 安布罗斯·卡波西 1 阿尔贝托·莫米利亚诺 1 安德斯·莫特伯格 1 弗雷德里克·诺德瓦尔·福斯伯格 1 乌尔夫诺雷尔 1 杜尔玛·罗德里格斯 1 克里斯蒂安·萨特勒 1 史蒂文·施费尔 1 加布里埃尔·谢勒 1 凯瑟琳·斯塔克 1 阿明·蒂曼尼 1 城市,基督教 1 菲利普·李·沃德勒 全部的 前5名系列 8 函数编程杂志 4 计算机科学中的逻辑方法 1 理论计算机科学 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 机械学报。(英文版) 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 理论计算机科学电子笔记 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名字段 50 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 范畴理论;同调代数(18-XX) 1 代数拓扑(55-XX) 1 可变形固体力学(74-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 49出版物有被引用253中的次161文件 引用人▼ 年份▼ Copatterns,通过观测对无限结构进行编程。 Zbl 1301.68080号 安德烈亚斯·亚贝尔;碧姬·品特卡;大卫·希伯多;安东·塞泽尔 24 2013 高阶和嵌套数据类型的迭代和层叠方案。 Zbl 1070.68093号 安德烈亚斯·亚贝尔;拉尔夫·马提斯;塔尔莫乌斯塔卢 18 2005 具有共同模式的基础良好的递归:终止和生产力的统一方法。 Zbl 1323.68087号 安德烈亚斯·阿贝尔(Andreas M.Abel)。;碧姬·品特卡 17 2013 立方Agda:一种具有单价和更高归纳类型的独立类型编程语言。 Zbl 1512.68058号 安德烈亚·维佐西;安德斯·莫特伯格;安德烈亚斯·亚贝尔 17 2021 具有共同模式和大小类型的功能完善的递归。 Zbl 1420.68031号 安德烈亚斯·亚贝尔;碧姬·品特卡 14 2016 论谓词类型理论中的无关性和算法相等性。 Zbl 1238.03028号 安德烈亚斯·亚贝尔;加布里埃尔·谢勒 13 2012 结构递归的谓词分析。 Zbl 0998.68027号 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 11 2002 使用类型进行终止检查。 兹比尔1089.68028 安德烈亚斯·亚贝尔 10 2004 半连续尺寸类型和端接。 Zbl 1143.68013号 安德烈亚斯·亚贝尔 9 2008 POPLMark重载:通过逻辑关系实现机械化证明。 Zbl 1442.68257号 安德烈亚斯·亚贝尔;纪尧姆·阿拉伊斯;Aliya Hameer;碧姬·品特卡;阿尔贝托·莫米利亚诺;史蒂文·施费尔;凯瑟琳·斯塔克 8 2019 验证Martin-Löf类型理论的语义转换测试。 Zbl 1157.68025号 安德烈亚斯·亚贝尔;可口、蒂埃里;彼得·戴比杰 8 2008 上下文对象上的良好递归。 Zbl 1367.68073号 碧姬·品特卡;安德烈亚斯·亚贝尔 8 2015 基于类型的终止、通货膨胀定点和混合电感类型。 Zbl 1457.68058号 安德烈亚斯·亚贝尔 8 2012 类型构造函数和基元递归的不动点。 Zbl 1095.68059号 安德烈亚斯·亚贝尔;拉尔夫·马提斯 6 2004 保护递归类型的强规范化的形式化证明。 Zbl 1453.68035号 安德烈亚斯·亚贝尔;安德烈亚·维佐西 5 2014 直觉主义类型理论证明助手的代数基础。 兹比尔1137.68570 安德烈亚斯·亚贝尔;可口、蒂埃里;彼得·戴比杰 5 2008 描述非比例载荷下棘轮行为和瞬态硬化的双表面模型。 Zbl 0883.73024号 陈旭;A.阿贝尔。 4 1996 结构递归函数形式系统的规范和验证。 Zbl 0988.68054号 安德烈亚斯·亚贝尔 4 2000 一种用于具有单子类型和证明无关性的类型理论的模块化类型选择算法。 Zbl 1213.68199号 安德烈亚斯·亚贝尔;可口、蒂埃里;米盖尔·帕加诺 4 2011 混合归纳/共归纳类型和强归一化。 Zbl 1138.68023号 安德烈亚斯·亚贝尔 4 2007 通过延迟单体中的评估进行归一化:通过共模式和大小类型进行共还原的案例研究。 Zbl 1464.68050号 安德烈亚斯·亚贝尔;查普曼,詹姆斯 4 2014 连续类型的终止和生产力检查。 Zbl 1039.68029号 安德烈亚斯·亚贝尔 三 2003 高阶嵌套数据类型的广义迭代和交叠。 Zbl 1029.68097号 安德烈亚斯·亚贝尔;拉尔夫·马提斯;塔尔莫乌斯塔卢 三 2003 (lambda\mu)-演算的三阶表示。 Zbl 1268.68045号 安德烈亚斯·亚贝尔 三 2001 基于类型的通用程序终止。 Zbl 1192.68134号 安德烈亚斯·亚贝尔 三 2009 大小类型的极化子类型。 Zbl 1142.68326号 安德烈亚斯·亚贝尔 三 2006 依赖类型和记录的高阶动态模式统一。 Zbl 1331.68040号 安德烈亚斯·亚贝尔;碧姬·品特卡 三 2011 使用大小不同的类型实现规范化器。 Zbl 1191.68152号 安德烈亚斯·亚贝尔 三 2009 系统的类型化应用结构和评估归一化。 Zbl 1257.03037号 安德烈亚斯·亚贝尔 三 2009 证明相关命题相等的非指示型理论中的规范化失败。 Zbl 1528.03099号 安德烈亚斯·亚贝尔;可口、蒂埃里 2 2020 具有交错归纳类型的lambda-演算的谓词强正规化证明。 Zbl 0988.03029号 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 2 2000 高阶嵌套数据类型的(Co-)迭代。 Zbl 1023.68066号 安德烈亚斯·亚贝尔;拉尔夫·马提斯 2 2003 Twelf中简单类型lambda演算的规范化。 Zbl 1278.68245号 安德烈亚斯·亚贝尔 2 2007 单宇宙Martin-Löf型理论的求值归一化。 Zbl 1316.68038号 安德烈亚斯·亚贝尔;克劳斯·埃利格;彼得·戴比杰 2 2007 一种用于具有单子类型和证明无关性的类型理论的模块化类型选择算法。 Zbl 1246.03025号 安德烈亚斯·亚贝尔;可口、蒂埃里;米盖尔·帕加诺 2 2009 大小类型的极化子类型。 Zbl 1156.68014号 安德烈亚斯·亚贝尔 2 2008 将逻辑框架连接到一阶逻辑证明程序。 Zbl 1171.68712号 安德烈亚斯·亚贝尔;可口、蒂埃里;乌尔夫诺雷尔 2 2005 弱\(\beta\eta\)-通过对系统F的评估进行归一化和归一化。 Zbl 1182.03100号 安德烈亚斯·亚贝尔 2 2008 强归一化和等(共)归纳类型。 Zbl 1215.03019号 安德烈亚斯·亚贝尔 2 2007 半连续尺寸类型和端接。 Zbl 1225.68063号 安德烈亚斯·亚贝尔 2 2006 面向具有大小类型的通用编程。 Zbl 1235.68045号 安德烈亚斯·亚贝尔 2 2006 细化依赖(co)模式匹配:没有留下模式。 兹比尔1442.68025 杰斯珀·考克斯;安德烈亚斯·亚贝尔 1 2020 Agda中的交互式编程–对象和图形用户界面。 Zbl 1418.68031号 安德烈亚斯·亚贝尔;斯蒂芬·阿德尔斯伯格;安东·塞策 1 2017 带有大小字体的合成硬币。 Zbl 1475.68073号 安德烈亚斯·亚贝尔 1 2016 type:type的部分类型检查算法。 Zbl 1291.68106号 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 1 2011 取消copatterns嵌套。 Zbl 1416.68048号 安东·塞泽尔;安德烈亚斯·亚贝尔;碧姬·品特卡;大卫·希伯多 1 2014 通过对构造的(β-演算)的评估实现标准化。 Zbl 1284.68120号 安德烈亚斯·亚贝尔 1 2010 Martin-Löf逻辑框架与满射对的无类型算法等式。 Zbl 1121.68026号 安德烈亚斯·亚贝尔;可口、蒂埃里 1 2007 高阶子类型的句法元理论。 Zbl 1156.03311号 安德烈亚斯·亚贝尔;杜尔玛·罗德里格斯 1 2008 立方Agda:一种具有单价和更高归纳类型的独立类型编程语言。 Zbl 1512.68058号 安德烈亚·维佐西;安德斯·莫特伯格;安德烈亚斯·亚贝尔 17 2021 证明相关命题相等的非指示型理论中的规范化失败。 Zbl 1528.03099号 安德烈亚斯·亚贝尔;可口、蒂埃里 2 2020 细化依赖(co)模式匹配:没有留下模式。 兹比尔1442.68025 杰斯珀·考克斯;安德烈亚斯·亚贝尔 1 2020 POPLMark重载:通过逻辑关系实现机械化证明。 Zbl 1442.68257号 安德烈亚斯·亚贝尔;纪尧姆·阿拉伊斯;Aliya Hameer;碧姬·品特卡;阿尔贝托·莫米利亚诺;史蒂文·施费尔;凯瑟琳·斯塔克 8 2019 Agda中的交互式编程——对象和图形用户界面。 Zbl 1418.68031号 安德烈亚斯·亚贝尔;斯蒂芬·阿德尔斯伯格;安东·塞泽尔 1 2017 具有共同模式和大小类型的功能完善的递归。 Zbl 1420.68031号 安德烈亚斯·亚贝尔;碧姬·品特卡 14 2016 带有大小字体的合成硬币。 Zbl 1475.68073号 安德烈亚斯·亚贝尔 1 2016 上下文对象上的良好递归。 Zbl 1367.68073号 碧姬·品特卡;安德烈亚斯·亚贝尔 8 2015 保护递归类型的强规范化的形式化证明。 兹比尔1453.68035 安德烈亚斯·亚贝尔;安德烈亚·维佐西 5 2014 通过延迟单体中的评估进行归一化:通过共模式和大小类型进行共还原的案例研究。 Zbl 1464.68050号 安德烈亚斯·亚贝尔;查普曼,詹姆斯 4 2014 取消copatterns嵌套。 Zbl 1416.68048号 安东·塞泽尔;安德烈亚斯·亚贝尔;碧姬·品特卡;大卫·希伯多 1 2014 Copatterns,通过观察编程无限结构。 Zbl 1301.68080号 安德烈亚斯·亚贝尔;碧姬·品特卡;大卫·希伯多;安东·塞泽尔 24 2013 具有共同模式的基础良好的递归:终止和生产力的统一方法。 Zbl 1323.68087号 安德烈亚斯·阿贝尔(Andreas M.Abel)。;碧姬·品特卡 17 2013 论谓词类型理论中的无关性和算法相等性。 兹比尔1238.03028 安德烈亚斯·亚贝尔;加布里埃尔·谢勒 13 2012 基于类型的终止、通货膨胀定点和混合电感类型。 Zbl 1457.68058号 安德烈亚斯·亚贝尔 8 2012 一种用于具有单子类型和证明无关性的类型理论的模块化类型选择算法。 Zbl 1213.68199号 安德烈亚斯·亚贝尔;可口、蒂埃里;米盖尔·帕加诺 4 2011 依赖类型和记录的高阶动态模式统一。 Zbl 1331.68040号 安德烈亚斯·亚贝尔;碧姬·品特卡 三 2011 type:type的部分类型检查算法。 Zbl 1291.68106号 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 1 2011 通过对构造的(β-演算)的评估实现标准化。 Zbl 1284.68120号 安德烈亚斯·亚贝尔 1 2010 基于类型的通用程序终止。 Zbl 1192.68134号 安德烈亚斯·亚贝尔 三 2009 使用大小不同的类型实现规范化器。 Zbl 1191.68152号 安德烈亚斯·亚贝尔 三 2009 系统的类型化应用结构和评估归一化。 Zbl 1257.03037号 安德烈亚斯·亚贝尔 三 2009 一种用于具有单子类型和证明无关性的类型理论的模块化类型选择算法。 Zbl 1246.03025号 安德烈亚斯·亚贝尔;可口、蒂埃里;米盖尔·帕加诺 2 2009 半连续尺寸类型和端接。 Zbl 1143.68013号 安德烈亚斯·亚贝尔 9 2008 验证Martin-Löf类型理论的语义转换测试。 兹比尔1157.68025 安德烈亚斯·亚贝尔;可口、蒂埃里;彼得·戴比杰 8 2008 直觉主义类型理论证明助手的代数基础。 Zbl 1137.68570号 安德烈亚斯·亚贝尔;可口、蒂埃里;彼得·戴比杰 5 2008 大小类型的极化子类型。 Zbl 1156.68014号 安德烈亚斯·亚贝尔 2 2008 弱\(\β\ eta \)-通过系统F的评估进行归一化和归一化。 Zbl 1182.03100号 安德烈亚斯·亚贝尔 2 2008 高阶子类型的句法元理论。 Zbl 1156.03311号 安德烈亚斯·亚贝尔;罗德里格斯,杜尔马 1 2008 混合归纳/共归纳类型和强归一化。 Zbl 1138.68023号 安德烈亚斯·亚贝尔 4 2007 Twelf中简单型lambda-calculus的规范化。 Zbl 1278.68245号 安德烈亚斯·亚贝尔 2 2007 单宇宙Martin-Löf型理论的求值归一化。 Zbl 1316.68038号 安德烈亚斯·亚贝尔;克劳斯·埃利格;彼得·戴比杰 2 2007 强归一化和等(共)归纳类型。 Zbl 1215.03019号 安德烈亚斯·亚贝尔 2 2007 Martin-Löf逻辑框架与满射对的无类型算法等式。 Zbl 1121.68026号 安德烈亚斯·亚贝尔;可口、蒂埃里 1 2007 大小类型的极化子类型。 Zbl 1142.68326号 安德烈亚斯·亚贝尔 三 2006 半连续尺寸类型和端接。 Zbl 1225.68063号 安德烈亚斯·亚贝尔 2 2006 面向具有大小类型的通用编程。 Zbl 1235.68045号 安德烈亚斯·亚贝尔 2 2006 高阶和嵌套数据类型的迭代和层叠方案。 Zbl 1070.68093号 安德烈亚斯·亚贝尔;拉尔夫·马提斯;塔尔莫乌斯塔卢 18 2005 将逻辑框架连接到一阶逻辑证明程序。 Zbl 1171.68712号 安德烈亚斯·亚贝尔;可口、蒂埃里;乌尔夫诺雷尔 2 2005 使用类型进行终止检查。 兹比尔1089.68028 安德烈亚斯·亚贝尔 10 2004 类型构造函数和基元递归的不动点。 Zbl 1095.68059号 安德烈亚斯·亚贝尔;拉尔夫·马提斯 6 2004 连续类型的终止和生产力检查。 Zbl 1039.68029号 安德烈亚斯·亚贝尔 三 2003 高阶嵌套数据类型的广义迭代和叠代。 Zbl 1029.68097号 安德烈亚斯·亚贝尔;拉尔夫·马提斯;塔尔莫乌斯塔卢 三 2003 高阶嵌套数据类型的(Co-)迭代。 Zbl 1023.68066号 安德烈亚斯·亚贝尔;拉尔夫·马提斯 2 2003 结构递归的谓词分析。 Zbl 0998.68027号 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 11 2002 \(\lambda\mu\)-微积分的三阶表示。 Zbl 1268.68045号 安德烈亚斯·亚贝尔 三 2001 结构递归函数形式系统的规范和验证。 Zbl 0988.68054号 安德烈亚斯·亚贝尔 4 2000 具有交错归纳类型的lambda-演算的谓词强正规化证明。 Zbl 0988.03029号 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 2 2000 描述非比例载荷下棘轮行为和瞬态硬化的双表面模型。 Zbl 0883.73024号 陈旭;A.阿贝尔。 4 1996 所有引用出版物 前5名被引用出版物 全部的 前5名227位作者引用 18 安德烈亚斯·阿贝尔(Andreas M.Abel)。 12 碧姬·品特卡 7 阿伦·斯塔姆 6 拉尔夫·马提斯 5 乌尔里希·伯杰 5 阿列舍·比兹亚克 5 可口、蒂埃里 4 托尔斯滕·阿滕柯奇 4 Lars Birkedal公司 4 弗雷德里克·布兰奎 4 康诺·托马斯·麦克布莱德 4 莫格尔贝里,拉斯穆斯·埃杰勒斯 4 安东·塞泽尔 4 塔尔莫乌斯塔卢 三 卡洛·安吉利 三 拉纳德·A·克鲁斯顿。 三 库卡斯·扎伊卡 三 彼得·戴比杰 三 哈雷III伊德斯 三 尼尔·加尼 三 汉斯·布格·格雷斯沃尔 三 丹尼尔·格拉泽 三 克里斯托弗·詹金斯 三 帕特里夏·约翰 三 阿尔贝托·莫米利亚诺 三 弗兰克·芬宁 三 乔纳森·斯特林 三 尼科洛Veltri 三 安德烈亚·维佐西 2 纪尧姆·阿拉伊斯 2 吉尔·巴特 2 安德烈·鲍尔 2 安德鲁·凯夫 2 詹姆斯·查普曼(James T.E.Chapman)。 2 科恩、利隆 2 马塞洛·菲奥雷(Marcelo P.Fiore)。 2 西蒙·胡贝尔 2 安德烈亚斯·洛赫比勒 2 米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 2 安德斯·莫特伯格 2 安德烈亚斯·努伊茨 2 米盖尔·帕加诺 2 安德鲁·M·皮茨。 2 科林·里巴 2 简·J·M·M·鲁顿。 2 乌尔里希·舍普 2 卢茨·施罗德 2 菲利波·塞斯蒂尼 2 南卡罗来纳州斯坦坎普。 2 诺拉·萨兹 2 阿尔瓦罗·塔西斯特罗 2 恩里科·塔西 2 大卫·希伯多 2 保罗·托里尼 2 德米特里·特拉泰尔 2 塞巴斯蒂安·乌尔乔利 2 范德维德,尼尔斯 2 斯蒂芬妮·威里奇 1 斯蒂芬·阿德尔斯伯格 1 克劳斯·埃利格 1 亚历杭德罗·阿吉雷 1 安基永 1 阿伦斯,贝内迪克特 1 Yohji阿卡玛 1 奥曼·波霍拉,约翰内斯 1 Maycon J.J.阿玛罗。 1 安德鲁·W·阿佩尔。 1 泽纳·M·阿里奥拉。 1 安德烈亚·阿斯佩蒂 1 罗伯特·艾奇 1 克莱门·奥伯特 1 巴赫·鲍尔森,卡斯珀 1 阿道夫·博林斯芭蕾舞演员 1 海宁·巴索尔德 1 布鲁诺·本岑 1 斯特凡诺·贝拉尔迪 1 贾斯敏·克里斯蒂安·布兰切特 1 马塞洛·玛丽亚·邦桑格 1 博斯,纳撒尼尔 1 尼古拉·博塔 1 西蒙·博利埃 1 艾默里·布齐 1 安娜·波夫 1 威廉·鲍曼。 1 努里亚·布雷德 1 弗拉维恩·布鲁瓦特 1 纪尧姆·布鲁内里 1 亚历山大·布伊斯 1 路易斯·凯雷斯 1 乔里斯·塞勒曼斯 1 Chan,Jonathan Cheung-Wai先生 1 詹姆斯·切尼 1 普里塔姆·乔杜里 1 科恩·克莱森 1 皮埃尔·克莱兰堡 1 杰斯珀·考克斯 1 卢卡斯修道院 1 埃内斯托·科佩罗 1 安里克·科斯梅·洛佩斯 1 弗朗西斯科·达尼诺 ……还有127位作者 全部的 前5名17篇连载文章中引用 19 函数编程杂志 18 计算机科学中的逻辑方法 11 MSCS公司。计算机科学中的数学结构 9 理论计算机科学 8 自动推理杂志 三 高阶和符号计算 2 计算机程序设计科学 2 纯逻辑与应用逻辑年鉴 2 RAIRO公司。理论信息学及其应用 2 程序设计中的逻辑和代数方法杂志 1 编程和计算机软件 1 信息与计算 1 Indagationes Mathematicae公司。新系列 1 数学与人工智能年鉴 1 计算系统理论 1 萨达纳 1 ACM计算逻辑事务 全部的 前5名在8个字段中引用 140 计算机科学(68至XX) 86 数学逻辑和基础(03-XX) 17 范畴理论;同调代数(18-XX) 4 代数拓扑(55-XX) 2 阶、格、有序代数结构(06-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文