马丁·霍夫曼 关于最大稳定过程的命中概率。 (英语) Zbl 1290.60054号 统计概率。莱特。 83,第11期,2516-2521(2013).MSC公司:60G52型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann},统计概率。莱特。83,第11号,2516--2521(2013;Zbl 1290.60054) 全文: 内政部 arXiv公司
马丁·霍夫曼 Martin-Löf型理论中可拓性的消除。 (英语) Zbl 1527.03009号 Barendregt,Henk(编辑)等人,《93年类型》。校样和程序的类型。国际研讨会,荷兰奈梅亨,1993年5月24日至28日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。806, 166-190 (1994).MSC公司:03B38型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼},莱克特。注释计算。科学。806166--190(1994年;Zbl 1527.03009) 全文: 内政部