马丁·霍夫曼 非尺寸递增计算的强度。 (英语) 兹比尔1323.68213 2002年1月16日至18日,美国俄勒冈州波特兰市POPL'02,第29届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-450-9)。260-269 (2002). 引用于10文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 2005年第68季度 计算模型(图灵机等)(MSC2010) 19年第68季度 描述复杂性和有限模型 65年第68季度 算法和问题复杂性分析 第68季度55 计算理论中的语义学 关键词:计算复杂性;有限模型;高阶函数;语义学 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann},in:第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'02,波特兰,俄勒冈州,美国,2002年1月16-18日。纽约州纽约市:计算机协会(ACM)。260-269(2002年;兹bl 1323.68213) 全文: 内政部