简·霍夫曼(编辑);唐纳德·桑内拉(编辑);乌尔里希·舍普(编辑) 为纪念马丁·霍夫曼,特刊前言。二、。 (英语) Zbl 1514.00027号 数学。结构。计算。科学。 32,第6号,682-684(2022).MSC公司:00B15号机组 03-06 68-06 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.霍夫曼}(编辑)等,《数学》。结构。计算。科学。32,第6号,682--684(2022;Zbl 1514.00027) 全文: 内政部
托尔斯滕·阿滕柯奇 马丁·霍夫曼对类型理论的贡献:群胚和单价。 (英语) 兹比尔1496.03003 数学。结构。计算。科学。 31,第9期,953-957(2021).MSC公司:03-03 01A70号 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{T.Altenkirch},数学。结构。计算。科学。31,第9号,953--957(2021;Zbl 1496.03003) 全文: 内政部
简·霍夫曼(编辑);唐纳德·桑内拉(编辑);乌尔里希·舍普(编辑) 为纪念马丁·霍夫曼,特刊前言。一、。 (英语) 1490.00041兹罗提 数学。结构。计算。科学。 31,第9号,950-952(2021).MSC公司:00B15号机组 03-06 68-06 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.霍夫曼}(编辑)等,《数学》。结构。计算。科学。31,编号9,950--952(2021;Zbl 1490.00041) 全文: 内政部
马可·加博阿迪(编辑);乌尔里希·舍普(编辑) 特刊:2014年和2015年隐式计算复杂性的发展。 (英语) Zbl 1398.00096号 Inf.计算。 261,第1部分,1-2(2018).MSC公司:00B25型 68-03 68-06 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gaboardi}(编辑)和\textit{U.Schöpp}(主编),Inf.Compute。261,第1部分,1--2(2018;Zbl 1398.00096) 全文: 内政部