Jean-Yves Moyen 资源控制图。 (英语) Zbl 1351.68077号 ACM事务处理。计算。日志。 10,第4号,第29条,第44页(2009年).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Moyen},ACM事务。计算。日志。10,第4号,第29条,第44页(2009年;Zbl 1351.68077) 全文: 内政部 哈尔
尼尔·D·琼斯。;克里斯蒂安森,拉尔斯 用于复杂性分析的(mwp)-界的流演算。 (英语) Zbl 1351.68075号 ACM事务处理。计算。日志。 第10号第4条第28条第41页(2009年).MSC公司:68号30 03B70号 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.D.Jones}和\textit{L.Kristiansen},ACM Trans。计算。日志。10,第4号,第28条,41页(2009年;Zbl 1351.68075) 全文: 内政部
Jean-Yves玛丽恩;罗曼·佩乔克斯 解释,一种静态分析程序资源的语义方法。 (英语) Zbl 1351.68061号 ACM事务处理。计算。日志。 第10号第4条第27条第31页(2009年).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Marion}和\textit{R.Péchoux},ACM Trans。计算。日志。10,第4号,第27条,第31页(2009年;Zbl 1351.68061) 全文: 内政部 链接
特里斯坦·克罗拉德;埃曼纽尔·波洛诺斯基;皮埃尔·瓦拉彻 使用高阶过程变量扩展循环语言。 (英语) Zbl 1351.68048号 ACM事务处理。计算。日志。 第10号第4条第26条第37页(2009年).MSC公司:68甲15 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Crolard}等人,《美国医学杂志》。计算。日志。10,第4号,第26条,37页(2009年;Zbl 1351.68048) 全文: 内政部 哈尔
乌戈·达尔拉戈 上下文语义、线性逻辑和计算复杂性。 (英语) Zbl 1351.03061号 ACM事务处理。计算。日志。 第10号第4条第25条第32页(2009年).MSC公司:03楼52 2015年3月1日 20层03 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago},ACM翻译。计算。日志。10,第4号,第25条,32页(2009年;Zbl 1351.03061) 全文: 内政部 arXiv公司
阿莱、东山英彦;江口、闹喜 通过安全嵌套递归实现EXPTIME函数的新函数代数。 (英语) Zbl 1351.03027号 ACM事务处理。计算。日志。 第10号第4条第24条第19页(2009年).MSC公司:2015年3月1日 03D20日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai}和\textit{N.Eguchi},ACM翻译。计算。日志。10,第4号,第24条,第19页(2009年;Zbl 1351.03027) 全文: 内政部 arXiv公司
帕特里克·贝洛特(编辑);Jean-Yves玛丽恩(编辑);西蒙娜·隆奇·德拉·罗卡(编辑) 客座评论:关于隐式计算复杂性的特刊。 (英语) Zbl 1351.00038号 ACM事务处理。计算。日志。 10,第4号,第23条,第2页(2009年).MSC公司:00B25型 03-06 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}(编辑)等人,《美国医学会学报》。计算。日志。10,第4号,第23条,第2页(2009年;Zbl 1351.00038) 全文: 内政部