雅克·科恩 计算机辅助的程序微观分析。 (英语) Zbl 0491.68036号 Commun公司。ACM公司 25224-733(1982年).MSC公司:68瓦99 68瓦30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.科恩},Commun。ACM 25,724--733(1982;Zbl 0491.68036) 全文: 内政部
雅克·科恩;马丁·S·罗斯。 确定性解析算法分析。 (英语) Zbl 0379.68014号 Commun公司。ACM公司 21, 448-458 (1978).MSC公司:68号01 68瓦99 65年第68季度 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cohen}和\textit{M.S.Roth},Commun。ACM 21,448--458(1978;Zbl 0379.68014) 全文: 内政部
雅克·科恩;卡尔·扎克曼 用于评估程序效率的两种语言。 (英语) Zbl 0279.68014号 Commun公司。ACM公司 17, 301-308 (1974).MSC公司:68号01 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Cohen}和\textit{C.Zuckerman},Commun。ACM 17,301--308(1974;Zbl 0279.68014) 全文: 内政部