×
尼尔·D·琼斯。;克里斯蒂安森，拉尔斯

用于复杂性分析的\（mwp \）-界的流演算。 （英语） Zbl 1351.68075号

ACM事务处理。计算。日志。 第10号第4条第28条第41页（2009年）.

引用于1审查
引用于6文件

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）
全文： 内政部