美国达尔拉戈。 高阶编程语言中的隐式计算复杂性。纪念马丁·霍夫曼的调查。 (英语) Zbl 1517.68075号 数学。结构。计算。科学。 32,编号6,760-776(2022).MSC公司:68号30 03B40型 第03页 68甲18 2015年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago},数学。结构。计算。科学。32,编号6,760--776(2022;Zbl 1517.68075) 全文: 内政部
霍夫曼,简;斯特芬·乔斯特 二十年的自动摊销资源分析。 (英语) Zbl 1517.68079号 数学。结构。计算。科学。 32,第6号,729-759(2022).MSC公司:68号30 03B38型 03B70号 68甲18 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.霍夫曼}和\textit{S.约斯特},数学。结构。计算。科学。32,编号6,729--759(2022;Zbl 1517.68079) 全文: 内政部
亚瑟·查古埃罗;弗朗索瓦·波蒂埃 使用时间信用验证分离逻辑中union-find实现的正确性和已摊销的复杂性。 (英语) Zbl 1468.68120号 J.汽车。推理 62,第3号,331-365(2019).MSC公司:60年第68季度 03B70号 68甲18 68第05页 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Charguéraud}和\textit{F.Pottier},J.Autom。推理62,No.3,331--365(2019;Zbl 1468.68120) 全文: 内政部 哈尔
邓玉欣;张瑜 线性环境中的程序等价性。 (英语) Zbl 1327.68078号 西奥。计算。科学。 585, 71-90 (2015).MSC公司:68号30 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{Y.Zhang},Theor。计算。科学。585,71-90(2015;Zbl 1327.68078) 全文: 内政部 arXiv公司
大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 资源的程序逻辑。 (英语) Zbl 1133.68010号 西奥。计算。科学。 389,第3期,411-445(2007).MSC公司:68甲15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人,Theor。计算。科学。389,第3号,411--445(2007;Zbl 1133.68010) 全文: 内政部 链接
D.R.吉卡。;穆拉夫斯基。;Ong,C.-H.L.公司。 并发的语法控制。 (英语) Zbl 1086.68087号 西奥。计算。科学。 350,编号2-3234-251(2006).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Ghica}等人,Theor。计算。科学。350,编号2--3,234--251(2006;Zbl 1086.68087) 全文: 内政部 链接
克劳斯·埃利格;乌尔里希·伯杰;马丁·霍夫曼;赫尔穆特·施维滕贝格 一种用于非增倍多项式时间计算的算法。 (英语) Zbl 1064.03036号 西奥。计算。科学。 318,编号1-2,3-27(2004).MSC公司:20层03 2015年3月1日 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Aehlig}等人,Theor。计算。科学。318,编号1--2,3--27(2004;Zbl 1064.03036) 全文: 内政部