×

安德烈亚斯·阿贝尔(Andreas M.Abel)。

作者ID: 阿伯尔·安德烈亚斯·姆最近由“Abel,Andreas M.”撰写的zbMATH文章
发布日期: 安德烈亚斯·亚贝尔;安德烈亚斯·阿贝尔(Andreas M.Abel)。
外部链接: MGP公司
已编制索引的文档: 53出版物自1996年以来,包括1个附加arXiv预打印
2作为编辑的贡献
合著者: 30位合著者具有34份联合出版物
384位合作作者

按年份列出的出版物

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名

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位作者

按年份列出的引文