编辑配置文件(在新选项卡中打开) 马丁·霍夫曼(1965年出生,2018年出生) 合著者距离 作者ID: 霍夫曼·马丁 发布日期: 马丁·霍夫曼;M.霍夫曼。 主页: https://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann网站 外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考·论文.fr 已编制索引的文档: 87出版物自1994年以来,包括2本书 7作为编辑的贡献·1进一步贡献 传记参考: 4出版物 合著者: 60位合著者具有72联合出版物 1449名合著者 全部的 前5名合著者 21 单作者的 8 伦纳特·贝林格 6 乌戈·达尔拉戈 5 大卫·阿斯皮纳尔 5 尼克·本顿 5 托马斯·斯特里彻 4 斯特芬·乔斯特 4 汉斯·沃夫冈·洛伊德 4 Vivek Nigam先生 4 本杰明·皮尔斯。 三 阿列克桑德·卡比雪夫 三 阿尔贝托·莫米利亚诺 三 乔治·莫瑟 三 杜尔玛·罗德里格斯 三 乌尔里希·舍普 2 克劳斯·埃利格 2 托尔斯滕·阿滕柯奇 2 安德烈·鲍尔 2 萨宾·鲍尔 2 可口、蒂埃里 2 皮埃尔·卢伊斯·居里 2 理查德·加纳 2 罗伯特·格拉博夫斯基 2 詹·菲利普·霍夫曼 2 Hötzel Escardó,马汀 2 安德鲁·肯尼迪。 2 马丁·兰格 2 杰雷米·莱登特 2 拉米亚,拉米亚 2 唐纳德·桑内拉。 2 菲利普·斯科特。 2 赫尔穆特·塞德尔 2 丹尼尔·瓦格纳 1 彼得·阿策尔 1 阿伦斯,贝内迪克特 1 卡洛·安吉利 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 布鲁诺·巴拉斯 1 斯蒂芬·巴特 1 斯蒂芬·贝兰托尼。 1 乌尔里希·伯杰 1 伊夫·贝托特 1 马克·贝泽姆 1 安东尼·博尔吉 1 纪尧姆·布鲁内里 1 布莱恩·坎贝尔 1 陈伟 1 西里尔·科恩 1 罗伯特·李警官 1 达克斯,基督徒 1 彼得·戴比杰 1 塞尔达尔·埃尔巴图尔 1 埃里克·芬斯特 1 默多克·詹姆斯·加贝 1 尼古拉·甘比诺 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 托马斯·卡利斯特·黑尔斯 1 凯文·哈蒙德 1 罗伯特·哈珀 1 斯文·哈哲姆 1 长谷川、Masahito 1 雨果·赫贝林 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hou(Favonia)、Kuen-Bang 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 约阿希姆·科克 1 米查尔·科内奇 1 尼古拉·克劳斯 1 洛伦兹·勒特盖布 1 李诺 1 丹·利卡塔 1 彼得·勒法努·卢姆斯代恩 1 罗朝晖 1 阿西亚·马布比 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔·纳哈斯 1 克里斯蒂安·纽基兴 1 大卫·奥布瓦勒 1 埃里克·帕尔姆格伦 1 玛丽埃拉·巴夫洛娃 1 巴甫洛维奇,杜什科 1 阿尔瓦罗·佩莱奥 1 戈登·普洛金(Gordon D.Plotkin)。 1 安德鲁·波伦斯基 1 阿克塞尔·劳什梅尔 1 艾米丽·里尔 1 埃格伯特·里杰克 1 朱塞佩·罗索里尼 1 哈拉尔德街 1 赫尔穆特·施维赫滕贝格 1 达娜·斯图尔特·斯科特 1 奥哈·什卡拉夫斯卡 1 Michael A.舒尔曼。 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 索索、马蒂厄 1 溅出物,Bas ……还有另外14位合著者 全部的 前5名系列 8 理论计算机科学 5 MSCS公司。计算机科学中的数学结构 4 信息与计算 三 计算机科学课堂讲稿 2 函数编程杂志 2 计算机科学中的逻辑方法 1 机械学报 1 符号逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 数学逻辑档案 1 北欧计算机杂志 1 符号逻辑公报 1 计算系统理论 1 计算机基础理论 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 理论计算机科学电子笔记 1 杰出论文 全部的 前5名字段 78 计算机科学(68至XX) 45 数学逻辑和基础(03-XX) 9 范畴理论;同调代数(18-XX) 7 总体主题;集合(00-XX) 三 阶、格、有序代数结构(06-XX) 1 组合数学(05-XX) 1 一般代数系统(08-XX) 1 代数拓扑(55-XX) 1 可变形固体力学(74-XX) 1 光学、电磁理论(78-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 75出版物有被引用656中的次435文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 兹比尔1298.03002 单价基金项目 199 2013 类型理论的群系解释。 Zbl 0930.03089号 马丁·霍夫曼;托马斯·斯特里彻 65 1998 依赖类型的语法和语义。 Zbl 0919.68083号 马丁·霍夫曼 55 1997 一阶函数程序堆空间使用情况的静态预测。 Zbl 1321.68180号 马丁·霍夫曼;斯特芬·乔斯特 39 2003 线性类型和非增倍多项式时间计算。 Zbl 1054.68065号 马丁·霍夫曼 31 2003 关于局部笛卡尔闭范畴中类型理论的解释。 Zbl 1044.03544号 马丁·霍夫曼 31 1995 多元摊销资源分析。 Zbl 1284.68132号 简·霍夫曼;克劳斯·埃利格;马丁·霍夫曼 30 2011 具有更高类型和BCK-代数的安全递归。 Zbl 0959.68075号 马丁·霍夫曼 22 2000 线性时间微积分的一个证明系统。 Zbl 1163.03308号 达克斯,基督徒;马丁·霍夫曼;马丁·兰格 18 2006 多项式潜力摊销资源分析。函数程序多项式界的静态推断。 Zbl 1260.68074号 简·霍夫曼;马丁·霍夫曼 17 2010 内涵类型理论中的外延结构。 兹比尔1411.03001 马丁·霍夫曼 16 1997 混合模式/线性lambda演算及其在Bellantoni-Cook安全递归中的应用。 Zbl 0908.03022号 马丁·霍夫曼 13 1998 一种建立经典系统在其直觉版本上保守性的新方法。 Zbl 0935.03069号 可口、蒂埃里;马丁·霍夫曼 13 1999 高阶程序定量资源使用的静态确定。 Zbl 1312.68039号 斯特芬·乔斯特;凯文·哈蒙德;汉斯·沃夫冈·洛伊德;马丁·霍夫曼 13 2010 关于高阶逻辑中的行为抽象和行为满足。 Zbl 0874.68196号 马丁·霍夫曼;唐纳德·桑内拉 12 1996 标称重命名集。 Zbl 1182.03065号 默多克·J·加贝。;马丁·霍夫曼 12 2008 对称透镜。 Zbl 1284.18009号 马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳 12 2011 基于类型的摊销堆空间分析。 Zbl 1178.68143号 马丁·霍夫曼;斯特芬·乔斯特 11 2006 资源的程序逻辑。 Zbl 1133.68010号 大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 11 2007 对无还原标准化证明。 Zbl 1502.03019号 托尔斯滕·阿滕柯奇;马丁·霍夫曼;托马斯·斯特里彻 10 1995 非尺寸递增计算的强度。 Zbl 1323.68213号 马丁·霍夫曼 10 2002 调用值控制操作符的完善公理化。 Zbl 0846.68066号 马丁·霍夫曼 9 1995 堆消耗的自动认证。 Zbl 1108.68374号 伦纳特·贝林格;马丁·霍夫曼;阿尔贝托·莫米利亚诺;奥哈·什卡拉夫斯卡 9 2005 重新审视依赖型理论的范畴解释。 Zbl 1433.03029号 皮埃尔·卢伊斯·居里;理查德·加纳;马丁·霍夫曼 9 2014 定量模型和隐含复杂性。 Zbl 1172.68477号 乌戈·达尔拉戈;马丁·霍夫曼 8 2005 一种新的“可行”算法。 Zbl 1006.03035号 斯蒂芬·贝兰托尼;马丁·霍夫曼 8 2002 有限维向量空间对于追踪对称单体范畴是完备的。 Zbl 1134.18003号 长谷川、Masahito;马丁·霍夫曼;戈登·普洛金 8 2008 一种用于非增倍多项式时间计算的算法。 Zbl 1064.03036号 克劳斯·埃利格;乌尔里希·伯杰;马丁·霍夫曼;赫尔穆特·施维赫滕贝格 8 2004 类BLL语言的可实现性模型。 Zbl 1047.03049号 M.霍夫曼。;P.J.斯科特。 8 2004 \(\lambda_\mu\)-微积分的连续模型的完备性。 Zbl 1096.03011号 马丁·霍夫曼;托马斯·斯特里彻 7 2002 阅读、写作和关系。面向效果分析的扩展语义。 Zbl 1168.68356号 尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;伦纳特·贝林格 7 2006 实数计算的区间模型的非连续性。 Zbl 1067.68070号 马丁·埃斯卡多;马丁·霍夫曼;托马斯·斯特里彻 7 2004 内涵型理论中等式反射的保守性。 Zbl 1434.03038号 马丁·霍夫曼 7 1996 可实现模型和隐式复杂性。 Zbl 1222.03065号 乌戈·达尔拉戈;马丁·霍夫曼 7 2011 抽象效果和证明相关的逻辑关系。 Zbl 1284.68371号 尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 7 2014 用于有界空间和函数就地更新的类型系统。 Zbl 0971.68023号 马丁·霍夫曼 6 2000 Büchi自动机的抽象解释。 Zbl 1401.68162号 马丁·霍夫曼;陈伟 5 2014 用于有界空间和函数就地更新的类型系统。(扩展摘要)。 Zbl 0964.68027号 马丁·霍夫曼 5 2000 阳性分型。 Zbl 0853.68125号 马丁·霍夫曼;本杰明·皮尔斯。 5 1996 编辑镜头。 Zbl 1321.68154号 马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳 5 2012 摊销资源分析和类型多项式解释。 Zbl 1416.68093号 马丁·霍夫曼;乔治·莫瑟 5 2014 商类型的简单模型。 Zbl 1063.68602号 马丁·霍夫曼 4 1995 摊销堆空间分析的自动类型推断。 Zbl 1381.68041号 马丁·霍夫曼;杜尔玛·罗德里格斯 4 2013 有界线性逻辑,重温。 Zbl 1211.03090号 乌戈·达尔拉戈;马丁·霍夫曼 4 2010 关于二阶泛函的一元参数性。 Zbl 1260.68071号 安德烈·鲍尔;马丁·霍夫曼;阿列克桑德·卡比雪夫 4 2013 光仿射逻辑多重时间合理性的语义证明。 Zbl 1205.68169号 乌戈·达尔拉戈;马丁·霍夫曼 4 2010 摊销堆空间分析的高效类型检查。 Zbl 1257.68051号 马丁·霍夫曼;杜尔玛·罗德里格斯 4 2009 有界线性逻辑,重温。 Zbl 1211.03089号 乌戈·达尔拉戈;马丁·霍夫曼 三 2009 具有使用方面的类型系统。 Zbl 1142.68019号 大卫·阿斯皮纳尔;马丁·霍夫曼;米查尔·科内奇 三 2008 用于高阶模型检查的笛卡尔闭范畴。 Zbl 1460.68061号 马丁·霍夫曼;杰雷米·莱登特 三 2017 术语重写系统的多元摊销资源分析。 Zbl 1367.68138号 马丁·霍夫曼;乔治·莫瑟 三 2015 使用区域类型系统验证指针和字符串分析。 Zbl 1253.68092号 伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼 三 2010 什么是纯函数? Zbl 1288.68037号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 三 2010 无限树上的可判定不等式。 Zbl 1415.68059号 萨宾·鲍尔;斯特芬·乔斯特;马丁·霍夫曼 三 2018 实现性良好。 Zbl 1112.03058号 M.霍夫曼。;van Oosten,J。;斯特里彻,T。 2 2006 类别理论语义在使用高阶函数代数表征复杂性类中的应用。 Zbl 0931.03058号 马丁·霍夫曼 2 1997 用于名称生成的证明相关的逻辑关系。 Zbl 1459.68041号 尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 2 2018 使用Mobius基本逻辑进行认证。 Zbl 1209.68121号 伦纳特·贝林格;马丁·霍夫曼;玛丽埃拉·巴夫洛娃 2 2008 线性/模态lambda演算的语义。 Zbl 0965.68011号 马丁·霍夫曼 2 1999 在高阶逻辑定理证明器中实现对象的程序逻辑。 Zbl 0974.68185号 马丁·霍夫曼;唐,弗朗西斯 2 2000 用于资源验证的程序逻辑。 Zbl 1099.68584号 大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 2 2004 自动机理论和逻辑。(自动化理论与逻辑) Zbl 1257.68003号 马丁·霍夫曼;马丁·兰格 2 2011 带迭代的纯指针程序。 Zbl 1351.68101号 马丁·霍夫曼;乌尔里希·舍普 2 2010 使用区域类型系统验证指针和字符串分析。 Zbl 1290.68034号 伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼 2 2013 JML和类型的字节码逻辑。 Zbl 1168.68357号 伦纳特·贝林格;马丁·霍夫曼 1 2006 执行带有区域类型和效果的规划指南。 Zbl 1503.68030号 塞尔达尔·埃尔巴图尔;马丁·霍夫曼;尤根·兹利内斯库 1 2017 对数摊销复杂度的基于类型的分析。 Zbl 1517.68070号 马丁·霍夫曼;洛伦兹·勒特盖布;大卫·奥布瓦勒;乔治·莫瑟;弗洛里安·祖勒格 1 2022 在Coq中验证局部泛型解算器。 Zbl 1306.68029号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 1 2010 具有获胜策略的\(\mu\)微积分认证。 Zbl 1354.68174号 马丁·霍夫曼;克里斯蒂安·纽基兴;哈拉尔德街 1 2016 关于高阶逻辑中的行为抽象和行为满足。 Zbl 1496.68190号 马丁·霍夫曼;唐纳德·桑内拉 1 1995 值得信赖的全球计算。2010年2月24日至26日在德国慕尼黑举行的2010年TGC第五届国际研讨会。修订了选定的论文。 Zbl 1198.68071号 1 2010 逻辑关系和不确定性。 Zbl 1453.68048号 马丁·霍夫曼 1 2015 可确定的线性列表约束。 Zbl 1403.68232号 萨宾·鲍尔;马丁·霍夫曼 1 2017 软件科学和计算结构基础。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011,是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。 Zbl 1213.68041号 1 2011 纯指针程序和树同构。 Zbl 1260.68099号 马丁·霍夫曼;拉米亚,拉米亚;乌尔里希·舍普 1 2013 对数摊销复杂度的基于类型的分析。 Zbl 1517.68070号 马丁·霍夫曼;洛伦兹·勒特盖布;大卫·奥布瓦勒;乔治·莫瑟;弗洛里安·祖勒格 1 2022 无限树上的可判定不等式。 Zbl 1415.68059号 萨宾·鲍尔;斯特芬·乔斯特;马丁·霍夫曼 三 2018 用于名称生成的证明相关的逻辑关系。 Zbl 1459.68041号 尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 2 2018 用于高阶模型检查的笛卡尔闭范畴。 兹比尔1460.68061 马丁·霍夫曼;杰雷米·莱登特 三 2017 执行带有区域类型和效果的规划指南。 Zbl 1503.68030号 塞尔达尔·埃尔巴图尔;马丁·霍夫曼;尤根·兹利内斯库 1 2017 可确定的线性列表约束。 Zbl 1403.68232号 萨宾·鲍尔;马丁·霍夫曼 1 2017 具有获胜策略的\(\mu\)-演算认证。 Zbl 1354.68174号 马丁·霍夫曼;克里斯蒂安·纽基兴;哈拉尔德街 1 2016 术语重写系统的多元摊销资源分析。 Zbl 1367.68138号 马丁·霍夫曼;乔治·莫瑟 三 2015 逻辑关系和不确定性。 兹比尔1453.68048 马丁·霍夫曼 1 2015 重新审视依赖型理论的范畴解释。 Zbl 1433.03029号 皮埃尔·卢伊斯·居里;理查德·加纳;马丁·霍夫曼 9 2014 抽象效果和证明相关的逻辑关系。 Zbl 1284.68371号 尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 7 2014 Büchi自动机的抽象解释。 Zbl 1401.68162号 马丁·霍夫曼;陈伟 5 2014 摊销资源分析和类型多项式解释。 Zbl 1416.68093号 马丁·霍夫曼;乔治·莫瑟 5 2014 同伦类型理论。数学的单价基础。 兹比尔1298.03002 单价基金项目 199 2013 摊销堆空间分析的自动类型推断。 Zbl 1381.68041号 马丁·霍夫曼;杜尔玛·罗德里格斯 4 2013 二阶泛函的单参数性。 Zbl 1260.68071号 安德烈·鲍尔;马丁·霍夫曼;阿列克桑德·卡比雪夫 4 2013 使用区域类型系统验证指针和字符串分析。 Zbl 1290.68034号 伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼 2 2013 纯指针程序和树同构。 Zbl 1260.68099号 马丁·霍夫曼;拉米亚,拉米亚;乌尔里希·舍普 1 2013 编辑镜头。 Zbl 1321.68154号 马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳 5 2012 多元摊销资源分析。 Zbl 1284.68132号 简·霍夫曼;克劳斯·埃利格;马丁·霍夫曼 30 2011 对称透镜。 Zbl 1284.18009号 马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳 12 2011 可实现模型和隐式复杂性。 Zbl 1222.03065号 乌戈·达尔拉戈;马丁·霍夫曼 7 2011 自动机理论和逻辑。(自动化和物流。) Zbl 1257.68003号 马丁·霍夫曼;马丁·兰格 2 2011 软件科学和计算结构基础。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011,是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。 Zbl 1213.68041号 1 2011 多项式潜力摊销资源分析。函数程序多项式界的静态推断。 Zbl 1260.68074号 简·霍夫曼;马丁·霍夫曼 17 2010 高阶程序定量资源使用的静态确定。 Zbl 1312.68039号 斯特芬·乔斯特;凯文·哈蒙德;汉斯·沃夫冈·洛伊德;马丁·霍夫曼 13 2010 有界线性逻辑,重温。 Zbl 1211.03090号 乌戈·达尔拉戈;马丁·霍夫曼 4 2010 光仿射逻辑多重时间合理性的语义证明。 Zbl 1205.68169号 乌戈·达尔拉戈;马丁·霍夫曼 4 2010 使用区域类型系统验证指针和字符串分析。 兹比尔1253.68092 伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼 三 2010 什么是纯函数? Zbl 1288.68037号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 三 2010 带迭代的纯指针程序。 Zbl 1351.68101号 马丁·霍夫曼;乌尔里希·舍普 2 2010 在Coq中验证局部泛型解算器。 Zbl 1306.68029号 马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔 1 2010 值得信赖的全球计算。2010年2月24日至26日在德国慕尼黑举行的2010年TGC第五届国际研讨会。修订了选定的论文。 Zbl 1198.68071号 1 2010 摊销堆空间分析的高效类型检查。 Zbl 1257.68051号 马丁·霍夫曼;杜尔玛·罗德里格斯 4 2009 有界线性逻辑,重温。 Zbl 1211.03089号 乌戈·达尔拉戈;马丁·霍夫曼 三 2009 标称重命名集。 Zbl 1182.03065号 默多克·J·加贝。;马丁·霍夫曼 12 2008 有限维向量空间对于追踪对称单体范畴是完备的。 Zbl 1134.18003号 长谷川、Masahito;马丁·霍夫曼;普罗特金,戈登 8 2008 具有使用方面的类型系统。 Zbl 1142.68019号 大卫·阿斯皮纳尔;马丁·霍夫曼;米查尔·科内奇 三 2008 使用Mobius基本逻辑进行认证。 Zbl 1209.68121号 伦纳特·贝林格;马丁·霍夫曼;玛丽埃拉·巴夫洛娃 2 2008 资源的程序逻辑。 Zbl 1133.68010号 大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 11 2007 线性时间微积分的一个证明系统。 Zbl 1163.03308号 达克斯,基督徒;马丁·霍夫曼;马丁·兰格 18 2006 基于类型的摊销堆空间分析。 Zbl 1178.68143号 马丁·霍夫曼;斯特芬·乔斯特 11 2006 阅读、写作和关系。面向效果分析的扩展语义。 Zbl 1168.68356号 尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;伦纳特·贝林格 7 2006 实现性良好。 Zbl 1112.03058号 M.霍夫曼。;van Oosten,J。;斯特里彻,T。 2 2006 JML和类型的字节码逻辑。 Zbl 1168.68357号 伦纳特·贝林格;马丁·霍夫曼 1 2006 堆消耗的自动认证。 Zbl 1108.68374号 伦纳特·贝林格;马丁·霍夫曼;阿尔贝托·莫米利亚诺;奥哈·什卡拉夫斯卡 9 2005 定量模型和隐含复杂性。 兹比尔1172.68477 乌戈·达尔拉戈;马丁·霍夫曼 8 2005 一种用于非增倍多项式时间计算的算法。 Zbl 1064.03036号 克劳斯·埃利格;乌尔里希·伯杰;马丁·霍夫曼;赫尔穆特·施维赫滕贝格 8 2004 类BLL语言的可实现性模型。 Zbl 1047.03049号 M.霍夫曼。;P.J.斯科特。 8 2004 实数计算的区间模型的非连续性。 Zbl 1067.68070号 马丁·埃斯卡多;马丁·霍夫曼;托马斯·斯特里彻 7 2004 用于资源验证的程序逻辑。 Zbl 1099.68584号 大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 2 2004 一阶函数程序堆空间使用的静态预测。 Zbl 1321.68180号 马丁·霍夫曼;斯特芬·乔斯特 39 2003 线性类型和非增倍多项式时间计算。 Zbl 1054.68065号 马丁·霍夫曼 31 2003 非尺寸递增计算的强度。 Zbl 1323.68213号 马丁·霍夫曼 10 2002 一种新的“可行”算法。 Zbl 1006.03035号 斯蒂芬·贝兰托尼;马丁·霍夫曼 8 2002 (lambda_\mu)-演算连续模型的完备性。 兹伯利1096.03011 马丁·霍夫曼;托马斯·斯特里彻 7 2002 具有更高类型和BCK-代数的安全递归。 Zbl 0959.68075号 马丁·霍夫曼 22 2000 用于有界空间和函数就地更新的类型系统。 Zbl 0971.68023号 马丁·霍夫曼 6 2000 用于有界空间和函数就地更新的类型系统。(扩展摘要)。 Zbl 0964.68027号 马丁·霍夫曼 5 2000 在高阶逻辑定理证明器中实现对象的程序逻辑。 Zbl 0974.68185号 马丁·霍夫曼;唐,弗朗西斯 2 2000 一种建立经典系统在其直觉版本上保守性的新方法。 Zbl 0935.03069号 可口、蒂埃里;马丁·霍夫曼 13 1999 线性/模态lambda演算的语义。 Zbl 0965.68011号 马丁·霍夫曼 2 1999 类型理论的群系解释。 Zbl 0930.03089号 马丁·霍夫曼;托马斯·斯特里彻 65 1998 混合模式/线性lambda演算及其在Bellantoni-Cook安全递归中的应用。 Zbl 0908.03022号 马丁·霍夫曼 13 1998 依赖类型的语法和语义。 Zbl 0919.68083号 马丁·霍夫曼 55 1997 内涵类型理论中的外延结构。 Zbl 1411.03001号 马丁·霍夫曼 16 1997 类别理论语义在使用高阶函数代数表征复杂性类中的应用。 Zbl 0931.03058号 马丁·霍夫曼 2 1997 关于高阶逻辑中的行为抽象和行为满足。 Zbl 0874.68196号 马丁·霍夫曼;唐纳德·桑内拉 12 1996 内涵型理论中等式反射的保守性。 Zbl 1434.03038号 马丁·霍夫曼 7 1996 阳性子类型。 Zbl 0853.68125号 马丁·霍夫曼;本杰明·皮尔斯。 5 1996 关于局部笛卡尔闭范畴中类型理论的解释。 Zbl 1044.03544号 马丁·霍夫曼 31 1995 对无还原标准化证明。 Zbl 1502.03019号 托尔斯滕·阿滕柯奇;马丁·霍夫曼;托马斯·斯特里彻 10 1995 调用值控制操作符的完善公理化。 Zbl 0846.68066号 马丁·霍夫曼 9 1995 商类型的简单模型。 Zbl 1063.68602号 马丁·霍夫曼 4 1995 关于高阶逻辑中的行为抽象和行为满足。 Zbl 1496.68190号 马丁·霍夫曼;唐纳德·桑内拉 1 1995 所有引用出版物 前5名被引用出版物 全部的 前5名575位作者引用 22 马丁·霍夫曼 15 乌戈·达尔拉戈 11 帕特里克·贝洛特 10 可口、蒂埃里 8 艾尔维拉·阿尔伯特 8 埃里克·帕尔姆格伦 7 托尔斯滕·阿滕柯奇 7 彼得·戴比杰 7 罗尔夫·亨尼克 7 克里斯蒂安·萨特勒 6 史蒂夫·阿沃迪 6 伦纳特·贝林格 6 Lars Birkedal公司 6 Hötzel Escardó,马汀 6 彼得·勒法努·卢姆斯代恩 6 安德鲁·皮特斯(Andrew M.Pitts)。 5 杰里米·阿维加德 5 米歇尔·比多瓦 5 萨米尔·根奈姆 5 乔治·莫瑟 5 托马斯·斯特里彻 5 张瑜 4 阿伦斯,贝内迪克特 4 乌尔里希·伯杰 4 默多克·詹姆斯·加贝 4 尼古拉·甘比诺 4 理查德·加纳 4 西蒙·胡贝尔 4 丹尼尔·李卡塔(Daniel R.Licata)。 4 Moerdijk,比如 4 伊恩·奥尔顿 4 里卡多·佩纳 4 碧姬·品特卡 4 德国普埃布拉 4 赫尔穆特·施维赫滕贝格 4 溅出物,Bas 4 本诺·范登伯格 4 沃伦、迈克尔·奥尔顿 4 弗洛里安·祖勒格 三 纪尧姆·阿拉伊斯 三 阿尔维斯,桑德拉 三 卡洛·安吉利 三 普里阿雷纳斯 三 泽纳·M·阿里奥拉。 三 大卫·阿斯皮纳尔 三 亚瑟·查古埃罗 三 乌戈·德利古罗 三 雅各布·埃梅内格 三 马里奥弗洛里多 三 尼尔·加尼 三 亚历克西斯·盖塞伦 三 吉尔根·吉斯尔 三 丹尼尔·格拉泽 三 雷纳·哈内尔 三 伊曼纽尔·海因里 三 罗伯特·哈珀 三 雨果·赫贝林 三 詹·菲利普·霍夫曼 三 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 三 吉勒姆·贾伯 三 安布罗斯·卡波西 三 安斯滕·默奇·克莱夫 三 洛伦兹·勒特盖布 三 伊恩·麦基 三 马西亚尔·罗梅罗、何塞·雷蒙多 三 达米亚诺·马扎 三 康诺·托马斯·麦克布莱德 三 詹姆斯·麦金纳 三 莫格尔贝里,拉斯穆斯·埃杰勒斯 三 黑山,曼努埃尔 三 托比亚斯·尼普科 三 大卫·E·诺瓦克。 三 罗曼·佩乔 三 戈登·普洛金(Gordon D.Plotkin)。 三 布莱恩·雷德蒙德(Brian F.Redmond)。 三 朱塞佩·罗索里尼 三 唐纳德·桑内拉。 三 乌尔里希·舍普 三 克拉拉塞古拉 三 赫尔穆特·塞德尔 三 托马斯·施图德 三 尼古拉斯·塔巴鲁 三 安德烈·塔莱基 三 上村,太极 三 塔尔莫乌斯塔卢 三 范德维德,尼尔斯 三 尼科洛Veltri 三 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 三 拉尔夫·福格勒 三 马丁·威尔辛 2 安德烈亚斯·阿贝尔(Andreas M.Abel)。 2 法利斯·阿布·萨利赫 2 萨姆森·艾布拉姆斯基 2 贝尼亚米·阿卡托利 2 丹尼尔·艾哈曼 2 罗马斯·阿隆德里斯 2 罗伯特·艾奇 2 克莱门·奥伯特 2 马丁·阿文齐尼 2 佛朗哥·巴巴内拉 …还有475名作者 全部的 前5名52连载 49 理论计算机科学 30 MSCS公司。计算机科学中的数学结构 23 纯逻辑与应用逻辑年鉴 22 信息与计算 17 函数编程杂志 16 计算机科学中的逻辑方法 14 自动推理杂志 8 符号逻辑杂志 5 纯粹与应用代数杂志 5 数学逻辑档案 5 逻辑与代数程序设计杂志 5 ACM计算逻辑事务 4 符号逻辑公报 4 应用逻辑杂志 4 程序设计中的逻辑和代数方法杂志 三 逻辑研究 三 计算的形式方面 三 Indagationes Mathematicae公司。新系列 三 系统设计中的形式化方法 三 范畴的理论与应用 三 计算系统理论 三 高阶和符号计算 2 合成 2 计算机程序设计科学 2 逻辑程序设计理论与实践 2 计算机语言、系统和结构 1 信息处理信件 1 剑桥哲学学会数学进展杂志 1 《伦敦数学学会通报》 1 数学出版物 1 伦敦数学学会杂志。第二系列 1 数学年刊 1 密码学杂志 1 数学论坛 1 美国数学学会公报。新系列 1 Anale tiințifice ale University \539'ii Al.I.Cuza din IașI。努瓦里。Matematic™(马特马蒂) 1 图卢兹科学学院年鉴。数学题。塞里六世 1 数学逻辑季刊(MLQ) 1 托波伊 1 欧洲数学学会杂志(JEMS) 1 RAIRO公司。理论信息学及其应用 1 并行与计算:实践与经验 1 逻辑与逻辑哲学 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 地中海数学杂志 1 Oberwolfach报告 1 泛逻辑 1 同伦及相关结构杂志 1 离散数学、算法和应用 1 数学论坛,西格玛 1 范畴和一般代数结构及其应用 1 高层建筑 全部的 前5名21个领域被引用 293 计算机科学(68至XX) 247 数学逻辑和基础(03-XX) 90 范畴理论;同调代数(18-XX) 36 代数拓扑(55-XX) 10 信息与通信理论、电路(94-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 阶、格、有序代数结构(06-XX) 4 总体主题;集合(00-XX) 4 量子理论(81-XX) 三 一般代数系统(08-XX) 三 群论与推广(20-XX) 三 运筹学、数学规划(90-XX) 2 历史和传记(01-XX) 2 一般拓扑结构(54至XX) 1 场论和多项式(12-XX) 1 代数几何(14-XX) 1 \(K\)理论(19-XX) 1 动力系统和遍历理论(37至XX) 1 功能分析(46倍X倍) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.